[emacs-mode] force ∀ and ∃ to be syntax class "punctuation"

This happened by default in earlier versions of emacs, but changed somewhere between versions 27 and 29.
HOL-Theorem-Prover · Oct 2, 2024 · b8219c4 · b8219c4
1 parent f109565
commit b8219c4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/holscript-mode.el b/tools/holscript-mode.el
@@ -61,7 +61,7 @@ ignoring fact that it should really only occur at the beginning of the line.")
     ;; terms such as \(x,y). x + y
     (mapc (lambda (c) (modify-syntax-entry c "w" st)) "'")
     (mapc (lambda (c) (modify-syntax-entry c "_" st)) "$_")
-    (mapc (lambda (c) (modify-syntax-entry c "."  st)) ".%&+-/:<=>?@`^|!~#,;")
+    (mapc (lambda (c) (modify-syntax-entry c "."  st)) ".%&+-/:<=>?@`^|!~#,;∀∃")
     st)
   "The syntax table used in `holscript-mode'.")