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

feat(src/emacs/lean-input.el): add abbreviations 'mem', 'subeq', etc.

Browse source
This commit is contained in:
Jeremy Avigad 2015-05-10 17:55:15 +10:00 committed by Leonardo de Moura
parent 3e07716b5d
commit 95dae11670
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -257,6 +257,8 @@ order for the change to take effect."
("subn" . ("⊄")) ("supn" . ("⊅")) ("subn" . ("⊄")) ("supn" . ("⊅"))
("sub=" . ("⊆")) ("sup=" . ("⊇")) ("sub=" . ("⊆")) ("sup=" . ("⊇"))
("sub=n" . ("⊈")) ("sup=n" . ("⊉")) ("sub=n" . ("⊈")) ("sup=n" . ("⊉"))
("subeq" . ("⊆")) ("supeq" . ("⊇"))
("subeqn" . ("⊈")) ("supeqn" . ("⊉"))
("squb" . ("⊏")) ("squp" . ("⊐")) ("squb" . ("⊏")) ("squp" . ("⊐"))
("squb=" . ("⊑")) ("squp=" . ("⊒")) ("squb=" . ("⊑")) ("squp=" . ("⊒"))
@ -265,6 +267,7 @@ order for the change to take effect."
;; Set membership etc. ;; Set membership etc.
("member" . ,(lean-input-to-string-list "∈∉∊∋∌∍⋲⋳⋴⋵⋶⋷⋸⋹⋺⋻⋼⋽⋾⋿")) ("member" . ,(lean-input-to-string-list "∈∉∊∋∌∍⋲⋳⋴⋵⋶⋷⋸⋹⋺⋻⋼⋽⋾⋿"))
("mem" . ("∈"))
("inn" . ("∉")) ("inn" . ("∉"))
("nin" . ("∌")) ("nin" . ("∌"))