From 1306d08399cf574407b12de8d1bbcb3376b4aeaa Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 5 Oct 2014 13:34:05 -0700
Subject: [PATCH] feat(emacs/lean-input): add shortcuts for subscripts

---
 src/emacs/lean-input.el | 11 +++++++++++
 1 file changed, 11 insertions(+)

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 "<≪⋘≤≦≲ ≶≺≼≾⊂⊆ ⋐⊏⊑ ⊰⊲⊴⋖⋚⋜⋞"))