diff --git a/emacs/lean.el b/emacs/lean.el
index 48d3f9936..0834f0774 100644
--- a/emacs/lean.el
+++ b/emacs/lean.el
@@ -5,13 +5,13 @@
     ("forall" "∀")
     ("exists" "∃")
     ("fun"    "λ")
-    ("->"     "→")
-    ("/\\"    "∧")
-    ("\\/"    "∨")
+    ("imp"    "→")
+    ("and"    "∧")
+    ("or"     "∨")
     ("not"    "¬")
-    ("!="     "≠")
-    (">="     "≥")
-    ("<="     "≤")
+    ("neq"     "≠")
+    ("geq"     "≥")
+    ("leq"     "≤")
     ("Nat"    "ℕ")
     ("Int"    "ℤ")
     ))