michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(emacs/lean-input): add shortcuts for subscripts

Browse source
This commit is contained in:
Leonardo de Moura 2014-10-05 13:34:05 -07:00
parent d56266c524
commit 1306d08399
1 changed files with 11 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
src/emacs/lean-input.el
View file

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