[nongnu] elpa/proof-general 3a99da2755 2/2: Merge pull request #741 from hoheinzollern/patch-1

[ELPA Syncer]

branch: elpa/proof-general
commit 3a99da275523c8f844fdfa3dd073295eece939f3
Merge: 734bcdb27f 6200721187
Author: Pierre Courtieu <Matafou@users.noreply.github.com>
Commit: GitHub <noreply@github.com>

    Merge pull request #741 from hoheinzollern/patch-1
    
    Adding unicode arrow >->
---
 coq/coq-unicode-tokens.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/coq/coq-unicode-tokens.el b/coq/coq-unicode-tokens.el
index c4a26b7bab..0b8555aa28 100644
--- a/coq/coq-unicode-tokens.el
+++ b/coq/coq-unicode-tokens.el
@@ -124,6 +124,7 @@
     ("<=" "≤")
     (">=" "≥")
     ("=>" "⇒")
+    (">->" "↣")
     ("->" "→")  ; or ⟶ or ⟹ if you prefer
     ("<-" "←")  ; or ⟵ or ⟸
     ("<->" "↔") ; or ⟷ ...