diff options
Diffstat (limited to 'coq/coq-mode.el')
| -rw-r--r-- | coq/coq-mode.el | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/coq/coq-mode.el b/coq/coq-mode.el index 70d3952c..9ef76719 100644 --- a/coq/coq-mode.el +++ b/coq/coq-mode.el @@ -75,14 +75,15 @@ See also `coq-prog-env' to adjust the environment." (defvar prettify-symbols-alist) (defconst coq-prettify-symbols-alist - '(("not" . ?¬) - ;; ("/\\" . ?∧) - ("/\\" . ?⋀) - ;; ("\\/" . ?∨) - ("\\/" . ?⋁) - ;;("forall" . ?∀) - ("forall" . ?Π) + '(;;("not" . ?¬) + ("/\\" . ?∧) + ;; ("/\\" . ?⋀) + ("\\/" . ?∨) + ;; ("\\/" . ?⋁) + ("forall" . ?∀) + ;; ("forall" . ?Π) ("fun" . ?λ) + ("exists" . ?∃) ("->" . ?→) ("<-" . ?←) ("=>" . ?⇒) |