diff --git a/src/emacs/lean-input.el b/src/emacs/lean-input.el
index d56ece0b5..e5b8b410e 100644
--- a/src/emacs/lean-input.el
+++ b/src/emacs/lean-input.el
@@ -221,6 +221,17 @@ order for the change to take effect."
   ("m="   . ("≞"))
   ("?="   . ("≟"))
 
+  ("1" . ("₁"))
+  ("2" . ("₂"))
+  ("3" . ("₃"))
+  ("4" . ("₄"))
+  ("5" . ("₅"))
+  ("6" . ("₆"))
+  ("7" . ("₇"))
+  ("8" . ("₈"))
+  ("9" . ("₉"))
+  ("0" . ("₀"))
+
   ;; Inequality and similar symbols.
 
   ("leq"  . ,(lean-input-to-string-list "<≪⋘≤≦≲ ≶≺≼≾⊂⊆ ⋐⊏⊑ ⊰⊲⊴⋖⋚⋜⋞"))