diff --git a/lean4-mode/lean4-syntax.el b/lean4-mode/lean4-syntax.el
index ee8343546e..a620a1dbdb 100644
--- a/lean4-mode/lean4-syntax.el
+++ b/lean4-mode/lean4-syntax.el
@@ -14,7 +14,7 @@
     "open" "export" "axiom" "inductive" "coinductive" "with" "without"
     "structure" "universe" "universes" "hide"
     "precedence" "reserve"
-    "match" "nomatch" "infix" "infixl" "infixr" "notation" "postfix" "prefix" "instance"
+    "match_syntax" "match" "nomatch" "infix" "infixl" "infixr" "notation" "postfix" "prefix" "instance"
     "end" "this" "using" "using_well_founded" "namespace" "section"
     "attribute" "local" "set_option" "extends" "include" "omit" "classes" "class"
     "attributes" "raw" "replacing"