diff --git a/tools/holscript-mode.el b/tools/holscript-mode.el
index 7e1e384e38..5f0552a381 100644
--- 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'.")