From 6f032dc35f671dde9ab5d08720b0ba51fdbef6a8 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 25 Jun 2016 13:54:50 -0700 Subject: [PATCH] chore(src/emacs/lean-input): make sure '\l' default is the left arrow --- src/emacs/lean-input.el | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/emacs/lean-input.el b/src/emacs/lean-input.el index 4c39391d73..514080b491 100644 --- a/src/emacs/lean-input.el +++ b/src/emacs/lean-input.el @@ -411,7 +411,7 @@ order for the change to take effect." ;; Arrows. ("iff" . ("↔")) ("imp" . ("→")) - ("l" . ,(lean-input-to-string-list "λ←⇐⇚⇇⇆↤⇦↞↼↽⇠⇺↜⇽⟵⟸↚⇍⇷ ↹ ↢↩↫⇋⇜⇤⟻⟽⤆↶↺⟲ ")) + ("l" . ,(lean-input-to-string-list "←⇐⇚⇇⇆↤⇦↞↼↽⇠⇺↜⇽⟵⟸↚⇍⇷ ↹ ↢↩↫⇋⇜⇤⟻⟽⤆↶↺⟲ ")) ("r" . ,(lean-input-to-string-list "→⇒⇛⇉⇄↦⇨↠⇀⇁⇢⇻↝⇾⟶⟹↛⇏⇸⇶ ↴ ↣↪↬⇌⇝⇥⟼⟾⤇↷↻⟳⇰⇴⟴⟿ ➵➸➙➔➛➜➝➞➟➠➡➢➣➤➧➨➩➪➫➬➭➮➯➱➲➳➺➻➼➽➾⊸")) ("u" . ,(lean-input-to-string-list "↑⇑⟰⇈⇅↥⇧↟↿↾⇡⇞ ↰↱➦ ⇪⇫⇬⇭⇮⇯ ")) ("d" . ,(lean-input-to-string-list "↓⇓⟱⇊⇵↧⇩↡⇃⇂⇣⇟ ↵↲↳➥ ↯ ")) @@ -578,6 +578,7 @@ order for the change to take effect." ;; lambda ("fun" . ("λ")) + ("lam" . ("λ")) ("X" . ("⨯"))