From 9beb70b2922f429703e5aa5b0a96d489e54deb1a Mon Sep 17 00:00:00 2001
From: Jeremy Avigad <avigad@cmu.edu>
Date: Fri, 8 May 2015 20:04:55 +1000
Subject: [PATCH] feat(src/emacs/lean-input.el): add 'empty' as abbreviation
 for emptyset

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

diff --git a/src/emacs/lean-input.el b/src/emacs/lean-input.el
index dd56b11d7..f4172f393 100644
--- a/src/emacs/lean-input.el
+++ b/src/emacs/lean-input.el
@@ -309,6 +309,7 @@ order for the change to take effect."
   ("ex"  . ("∃"))
   ("exn" . ("∄"))
   ("0"   . ("∅"))
+  ("empty"   . ("∅"))
   ("C"   . ("∁"))
 
   ;; Corners, ceilings and floors.