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