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.