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

feat(src/emacs/lean-input.el): add 'empty' as abbreviation for emptyset

Browse source
This commit is contained in:
Jeremy Avigad 2015-05-08 20:04:55 +10:00
parent 6fce01385c
commit 9beb70b292
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -309,6 +309,7 @@ order for the change to take effect."
("ex" . ("∃")) ("ex" . ("∃"))
("exn" . ("∄")) ("exn" . ("∄"))
("0" . ("∅")) ("0" . ("∅"))
("empty" . ("∅"))
("C" . ("∁")) ("C" . ("∁"))
;; Corners, ceilings and floors. ;; Corners, ceilings and floors.