@@ -107,7 +107,7 @@ symbols:
107107
108108Some operators built from these symbols can't be user defined. These are
109109``:``, ``=>``, ``->``, ``<-``, ``=``, ``?=``, ``|``, ``**``,
110−``==>``, ``\\``, ``%``, ``~``, ``?``, and ``!``.
110+``==>``, ``\``, ``%``, ``~``, ``?``, and ``!``.
111111
112112Functions
113113=========