From b7a4f305d4e73b380daca93dda047cf802aec769 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 17 Nov 2016 11:46:26 -0800 Subject: [PATCH] chore(emacs/lean-input): add shortcuts for alpha, beta and gamma --- src/emacs/lean-input.el | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/emacs/lean-input.el b/src/emacs/lean-input.el index b2f868830c..8f6d56c1e8 100644 --- a/src/emacs/lean-input.el +++ b/src/emacs/lean-input.el @@ -620,6 +620,10 @@ order for the change to take effect." ("H" . ("ℍ")) ("K" . ("𝕂")) + ("a" . ("α")) + ("b" . ("β")) + ("g" . ("γ")) + ;; Musical symbols. ("note" . ,(lean-input-to-string-list "♩♪♫♬"))