diff --git a/src/emacs/lean-input.el b/src/emacs/lean-input.el
index d14268efe..d855237b5 100644
--- a/src/emacs/lean-input.el
+++ b/src/emacs/lean-input.el
@@ -363,6 +363,7 @@ order for the change to take effect."
   ("ur" . ,(lean-input-to-string-list "↗⇗                                         ➶➹➚                             "))
   ("dr" . ,(lean-input-to-string-list "↘⇘                        ⇲                ➴➷➘                             "))
   ("dl" . ,(lean-input-to-string-list "↙⇙                                                                         "))
+  ("==>" . ("⟹"))
 
   ("l-"  . ("←"))  ("<-"  . ("←"))  ("l="  . ("⇐"))
   ("r-"  . ("→"))  ("->"  . ("→"))  ("r="  . ("⇒"))  ("=>"  . ("⇒"))