diff --git a/lean4-mode/lean4-info.el b/lean4-mode/lean4-info.el
index f5f00b26c3..494628409c 100644
--- a/lean4-mode/lean4-info.el
+++ b/lean4-mode/lean4-info.el
@@ -44,7 +44,8 @@
   (unless (get-buffer buffer)
     (with-current-buffer (get-buffer-create buffer)
       (buffer-disable-undo)
-      (magit-section-mode))))
+      (magit-section-mode)
+      (set-syntax-table lean4-syntax-table))))
 
 (defun lean4-toggle-info-buffer (buffer)
   (-if-let (window (get-buffer-window buffer))