diff options
| -rw-r--r-- | coq/x-symbol-coq.el | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/coq/x-symbol-coq.el b/coq/x-symbol-coq.el index 99d7588b..be15d352 100644 --- a/coq/x-symbol-coq.el +++ b/coq/x-symbol-coq.el @@ -6,15 +6,7 @@ ;; (defvar x-symbol-coq-symbol-table - '((arrowup () "\\+" "\\<uparrow>") - (arrowdown () "\\-" "\\<downarrow>") - (angleleft () "\\<\\" "\\<langle>") - (angleright () "\\>\\" "\\<rangle>") - (circledot () "\\dot\\" "\\<odot>") - (reflexsubset () "\\incl\\" "\\<rset>") - (element () "\\in\\" "\\<in>") - (emptyset () "emptyset" "\\<emptyset>") - (perpendicular () "False" "\\<bottom>") + '((perpendicular () "False" "\\<bottom>") (top () "True" "\\<top>") (notsign () "~" "\\<not>") (longarrowright () "->" "\\<longrightarrow>") |