diff --git a/src/emacs/lean-syntax.el b/src/emacs/lean-syntax.el
index a0014c67a8..5290a8e3e8 100644
--- a/src/emacs/lean-syntax.el
+++ b/src/emacs/lean-syntax.el
@@ -123,7 +123,7 @@
            word-end)
       . 'font-lock-constant-face)
      ;; Types
-     (,(rx word-start (or "bool" "int" "nat" "real" "Prop" "Type" "Type'" "ℕ" "ℤ") word-end) . 'font-lock-type-face)
+     (,(rx word-start (or "Prop" "Type" "Type'" "Type₊" "Type₁" "Type₂" "Type₃") word-end) . 'font-lock-type-face)
      ;; sorry
      (,(rx word-start "sorry" word-end) . 'font-lock-warning-face)
      ;; extra-keywords