Merge pull request #741 from hoheinzollern/patch-1

Adding unicode arrow >->
ProofGeneral · Sep 5, 2024 · 3a99da2 · 3a99da2
2 parents 734bcdb + 6200721
commit 3a99da2
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 ⟷ ...