diff options
| author | Clément Pit-Claudel | 2021-03-17 00:34:11 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2021-03-17 00:36:48 -0400 |
| commit | 8ad13c2735c097238441244123214967be3894a0 (patch) | |
| tree | 93eacff64443367187f6e39220ef94769f931922 | |
| parent | 7844e312b2a192c4245d0d05c12908efc5730e3b (diff) | |
coq: Update coq-prettify-symbols-alist for consistency with company-coq
There's no need for ("not" . ?¬) because Coq already has a "~" for it.
| -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" . ?∃) ("->" . ?→) ("<-" . ?←) ("=>" . ?⇒) |