diff options
| author | Pierre Courtieu | 2000-09-29 13:39:31 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2000-09-29 13:39:31 +0000 |
| commit | 331720e77ccaec6c18b2770b22d8d7419696b51b (patch) | |
| tree | 093ae0cb2514c0f2ad01ffb268e5366052d5c732 | |
| parent | 72ea2bfb9bd301c8b168e0c5b8bdab7bf4d3461c (diff) | |
a little change in coq/x-symbol, nothing
| -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>") |