Adding unicode arrow >->

ProofGeneral · Feb 20, 2024 · 6200721 · 6200721
1 parent 4814efb
commit 6200721
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/coq/coq-unicode-tokens.el b/coq/coq-unicode-tokens.el
@@ -124,6 +124,7 @@
     ("<=" "≤")
     (">=" "≥")
     ("=>" "⇒")
+    (">->" "↣")
     ("->" "→")  ; or ⟶ or ⟹ if you prefer
     ("<-" "←")  ; or ⟵ or ⟸
     ("<->" "↔") ; or ⟷ ...