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