From 62007211878246a33281d4fcb9cc881cad39a154 Mon Sep 17 00:00:00 2001
From: Alessandro Bruni <alessandro.bruni@gmail.com>
Date: Tue, 20 Feb 2024 19:42:19 +0100
Subject: [PATCH] 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 c4a26b7ba..0b8555aa2 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 ⟷ ...