add missing operators and fix precedences

Author: BenPH

src/components/operators.jl

@@ -500,13 +500,13 @@ const AllPrecs = Dict(
     "⤎" => ArrowOp,
     "<:" => ComparisonOp,
     "⫌" => ComparisonOp,
-    "⇀" => 0,
+    "⇀" => ArrowOp,
     "≁" => ComparisonOp,
     "⧀" => ComparisonOp,
     "⪎" => ComparisonOp,
     "⪱" => ComparisonOp,
-    "↬" => 0,
-    "⇝" => 0,
+    "↬" => ArrowOp,
+    "⇝" => ArrowOp,
     "⩳" => ComparisonOp,
     "⪻" => ComparisonOp,
     "//" => RationalOp,
@@ -528,23 +528,24 @@ const AllPrecs = Dict(
     "⪸" => ComparisonOp,
     "⊓" => TimesOp,
     "⭄" => ArrowOp,
-    "⇁" => 0,
+    "⇁" => ArrowOp,
     "≀" => TimesOp,
     "⪚" => ComparisonOp,
     "∷" => ComparisonOp,
     "⥪" => ArrowOp,
     "⥔" => PowerOp,
     "⊻" => PlusOp,
     "⩯" => ComparisonOp,
-    "↷" => 0,
+    "↷" => ArrowOp,
     "⇿" => ArrowOp,
     "⪉" => ComparisonOp,
     "⊰" => ComparisonOp,
-    "⨟" => 0,
+    "⨟" => TimesOp,
     "⩻" => ComparisonOp,
     "⭋" => ArrowOp,
     "⩒" => PlusOp,
     "-" => PlusOp,
+    "−" => PlusOp,
     "⫸" => ComparisonOp,
     "⤒" => PowerOp,
     "+=" => AssignmentOp,
@@ -584,17 +585,17 @@ const AllPrecs = Dict(
     "⋡" => ComparisonOp,
     "⫀" => ComparisonOp,
     "⨣" => PlusOp,
-    "↞" => 0,
+    "↞" => ArrowOp,
     "⟾" => ArrowOp,
     "⊬" => ComparisonOp,
-    "⇌" => 0,
+    "⇌" => ArrowOp,
     "≷" => ComparisonOp,
     "∓" => PlusOp,
     "⪶" => ComparisonOp,
     "⊀" => ComparisonOp,
     "⊛" => TimesOp,
     "⋠" => ComparisonOp,
-    "↢" => 0,
+    "↢" => ArrowOp,
     "⥦" => ArrowOp,
     "⪪" => ComparisonOp,
     "⋌" => TimesOp,
@@ -637,7 +638,7 @@ const AllPrecs = Dict(
     "⤗" => ArrowOp,
     "⪀" => ComparisonOp,
     "⩬" => ComparisonOp,
-    "↫" => 0,
+    "↫" => ArrowOp,
     "&" => TimesOp,
     "⩺" => ComparisonOp,
     "↚" => ArrowOp,
@@ -650,7 +651,7 @@ const AllPrecs = Dict(
     "≦" => ComparisonOp,
     "=" => AssignmentOp,
     "∧" => TimesOp,
-    "⇇" => 0,
+    "⇇" => ArrowOp,
     "≖" => ComparisonOp,
     "⇸" => ArrowOp,
     "⋙" => ComparisonOp,
@@ -666,11 +667,11 @@ const AllPrecs = Dict(
     "⭉" => ArrowOp,
     "⋎" => PlusOp,
     "⋋" => TimesOp,
-    "⇋" => 0,
+    "⇋" => ArrowOp,
     "≴" => ComparisonOp,
     "…" => ColonOp,
     "⪰" => ComparisonOp,
-    "↺" => 0,
+    "↺" => ArrowOp,
     "⪖" => ComparisonOp,
     "⨦" => PlusOp,
     "⬼" => ArrowOp,
@@ -710,7 +711,7 @@ const AllPrecs = Dict(
     "⫓" => ComparisonOp,
     "⫄" => ComparisonOp,
     "⊋" => ComparisonOp,
-    "⇆" => 0,
+    "⇆" => ArrowOp,
     "⤌" => ArrowOp,
     "⟹" => ArrowOp,
     "⊖" => PlusOp,
@@ -733,7 +734,7 @@ const AllPrecs = Dict(
     "//=" => AssignmentOp,
     "≒" => ComparisonOp,
     "⩦" => ComparisonOp,
-    "↶" => 0,
+    "↶" => ArrowOp,
     "⊡" => TimesOp,
     "⟈" => ComparisonOp,
     "≩" => ComparisonOp,
@@ -782,14 +783,14 @@ const AllPrecs = Dict(
     "⨻" => TimesOp,
     "⤏" => ArrowOp,
     "⥘" => PowerOp,
-    "≕" => ComparisonOp,
+    "≕" => AssignmentOp,
     "⥓" => ArrowOp,
     "⨰" => TimesOp,
     "⨺" => PlusOp,
     "⟵" => ArrowOp,
-    "⇜" => 0,
+    "⇜" => ArrowOp,
     "<<=" => AssignmentOp,
-    "≔" => ComparisonOp,
+    "≔" => AssignmentOp,
     "⩋" => TimesOp,
     "⫊" => ComparisonOp,
     "⪠" => ComparisonOp,
@@ -814,7 +815,7 @@ const AllPrecs = Dict(
     "⋕" => ComparisonOp,
     "⥤" => ArrowOp,
     "∋" => ComparisonOp,
-    "↽" => 0,
+    "↽" => ArrowOp,
     "⋇" => TimesOp,
     "⪍" => ComparisonOp,
     "⩃" => TimesOp,
@@ -829,13 +830,12 @@ const AllPrecs = Dict(
     "⊮" => ComparisonOp,
     "⪩" => ComparisonOp,
     "⬷" => ArrowOp,
-    "|++|" => PlusOp,
-    "↪" => 0,
+    "↪" => ArrowOp,
     "⭇" => ArrowOp,
     "⨨" => PlusOp,
     "⩓" => TimesOp,
     "⤊" => PowerOp,
-    "↤" => 0,
+    "↤" => ArrowOp,
     "⊱" => ComparisonOp,
     "⟼" => ArrowOp,
     "⨴" => TimesOp,
@@ -851,7 +851,7 @@ const AllPrecs = Dict(
     "⥣" => PowerOp,
     "⪃" => ComparisonOp,
     "⪹" => ComparisonOp,
-    "⩴" => ComparisonOp,
+    "⩴" => AssignmentOp,
     "⥫" => ArrowOp,
     "￫" => ArrowOp,
     ">>>" => BitShiftOp,
@@ -905,15 +905,15 @@ const AllPrecs = Dict(
     "⧣" => ComparisonOp,
     "⊞" => PlusOp,
     "⬾" => ArrowOp,
-    "⇉" => 0,
+    "⇉" => ArrowOp,
     "⨶" => TimesOp,
     "in" => ComparisonOp,
     "==" => ComparisonOp,
     "⟶" => ArrowOp,
     "⬰" => ArrowOp,
     ":=" => AssignmentOp,
     "⪋" => ComparisonOp,
-    "≂" => PlusOp,
+    "≂" => ComparisonOp,
     "<|" => PipeOp,
     "⥊" => ArrowOp,
     "⪺" => ComparisonOp,
@@ -926,14 +926,15 @@ const AllPrecs = Dict(
     "⦾" => TimesOp,
     "⇒" => ArrowOp,
     ".." => ColonOp,
-    "⇛" => 0,
+    "⇛" => ArrowOp,
     "⪿" => ComparisonOp,
     "≹" => ComparisonOp,
     "⋱" => ColonOp,
     "⇎" => ArrowOp,
     "→" => ArrowOp,
     "⥮" => PowerOp,
     "-=" => AssignmentOp,
+    "−=" => AssignmentOp,
     "<" => ComparisonOp,
     "⪇" => ComparisonOp,
     "⥗" => ArrowOp,
@@ -953,7 +954,7 @@ const AllPrecs = Dict(
     "⪄" => ComparisonOp,
     "⊎" => PlusOp,
     "⩾" => ComparisonOp,
-    "↝" => 0,
+    "↝" => ArrowOp,
     "⨲" => TimesOp,
     "⊐" => ComparisonOp,
     "⟻" => ArrowOp,
@@ -966,7 +967,7 @@ const AllPrecs = Dict(
     "⪯" => ComparisonOp,
     "⦸" => TimesOp,
     "⫐" => ComparisonOp,
-    "↜" => 0,
+    "↜" => ArrowOp,
     "≧" => ComparisonOp,
     "∉" => ComparisonOp,
     "⤟" => ArrowOp,
@@ -975,7 +976,7 @@ const AllPrecs = Dict(
     "<<" => BitShiftOp,
     "≞" => ComparisonOp,
     "⩍" => TimesOp,
-    "⇄" => 0,
+    "⇄" => ArrowOp,
     "▷" => TimesOp,
     "⋘" => ComparisonOp,
     "≇" => ComparisonOp,
@@ -1001,8 +1002,7 @@ const AllPrecs = Dict(
     "∾" => ComparisonOp,
     "&=" => AssignmentOp,
     "≪" => ComparisonOp,
-    "\\\\=" => TimesOp,
-    "↼" => 0,
+    "↼" => ArrowOp,
     "⬹" => ArrowOp,
     "∗" => TimesOp,
     "⊣" => ComparisonOp,
@@ -1052,6 +1052,7 @@ const AllPrecs = Dict(
     "⫔" => ComparisonOp,
     "⋵" => ComparisonOp,
     "⋅" => TimesOp,
+    "·" => TimesOp,
     "⨷" => TimesOp,
     "⟰" => PowerOp,
     "∨" => PlusOp,
@@ -1097,11 +1098,11 @@ const AllPrecs = Dict(
     "⥭" => ArrowOp,
     "⤕" => ArrowOp,
     "≘" => ComparisonOp,
-    "⇠" => 0,
+    "⇠" => ArrowOp,
     "⟺" => ArrowOp,
     "⪼" => ComparisonOp,
-    "⇢" => 0,
-    "↩" => 0,
+    "⇢" => ArrowOp,
+    "↩" => ArrowOp,
     "⋊" => TimesOp,
     "&&" => LazyAndOp,
     "⩚" => TimesOp,
@@ -1111,12 +1112,12 @@ const AllPrecs = Dict(
     "⤁" => ArrowOp,
     "≌" => ComparisonOp,
     "⭌" => ArrowOp,
-    "⇐" => 0,
+    "⇐" => ArrowOp,
     ":" => ColonOp,
-    "⇍" => 0,
+    "⇍" => ArrowOp,
     "⩭" => ComparisonOp,
     "↛" => ArrowOp,
-    "↻" => 0,
+    "↻" => ArrowOp,
     "⪲" => ComparisonOp,
     "⇔" => ArrowOp,
     "⪭" => ComparisonOp,
@@ -1127,7 +1128,7 @@ const AllPrecs = Dict(
     "⊊" => ComparisonOp,
     "⊠" => TimesOp,
     "∘" => TimesOp,
-    "⇚" => 0,
+    "⇚" => ArrowOp,
     "⪆" => ComparisonOp,
     "⫋" => ComparisonOp,
     "|" => PlusOp,
@@ -1148,5 +1149,9 @@ const AllPrecs = Dict(
     "∛" => 0,
     "∜" => 0,
     "++" => PlusOp,
-    "¬" => 0
+    "¬" => 0,
+    "¦" => PlusOp,
+    "⌿" => TimesOp,
+    "⫪" => ComparisonOp,
+    "⫫" => ComparisonOp
 )