diff --git a/lean4-mode/lean4-syntax.el b/lean4-mode/lean4-syntax.el
index d190f864c5..e897e250bb 100644
--- a/lean4-mode/lean4-syntax.el
+++ b/lean4-mode/lean4-syntax.el
@@ -20,7 +20,7 @@
     "attributes" "raw" "replacing" "generalizing"
     "calc" "have" "show" "suffices" "by" "in" "at" "do" "let" "rec" "forall" "Pi" "fun"
     "exists" "if" "then" "else" "assume" "from" "init_quot" "return"
-    "mutual" "def" "run_cmd")
+    "mutual" "def" "run_cmd" "declare_syntax_cat" "syntax" "macro_rules" "macro")
   "lean keywords ending with 'word' (not symbol)")
 (defconst lean4-keywords1-regexp
   (eval `(rx word-start (or ,@lean4-keywords1) word-end)))