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

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