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 "♩♪♫♬"))