diff options
-rw-r--r-- | coq/x-symbol-coq.el | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/coq/x-symbol-coq.el b/coq/x-symbol-coq.el index 7c09b2ef..d74ab428 100644 --- a/coq/x-symbol-coq.el +++ b/coq/x-symbol-coq.el @@ -6,9 +6,7 @@ ;; (defvar x-symbol-coq-symbol-table - '((arrowup () "\\+" "\\<uparrow>") - (arrowdown () "\\-" "\\<downarrow>") - (perpendicular () "False" "\\<bottom>") + '((perpendicular () "False" "\\<bottom>") (top () "True" "\\<top>") (notsign () "~" "\\<not>") (longarrowright () "->" "\\<longrightarrow>") |