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 ⟷ ...