diff --git a/emacs/lean.el b/emacs/lean.el
index 0834f0774..5e8d1505b 100644
--- a/emacs/lean.el
+++ b/emacs/lean.el
@@ -14,6 +14,10 @@
     ("leq"     "≤")
     ("Nat"    "ℕ")
     ("Int"    "ℤ")
+    ("var"    "variable")
+    ("vars"   "variables")
+    ("def"    "definition")
+    ("th"     "theorem")
     ))
 
 (define-generic-mode