diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-03-10 09:08:30 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-10 09:08:30 +0000 |
commit | c981d4ef45ebb36160de5630b75f60ab1e9b5000 (patch) | |
tree | 60795ba4e0048ee884041870f41c443e16d1408e /hol98 | |
parent | 0a2a5857e365ea71a08ea467ab5216ca47cf3e00 (diff) |
Symbol for ==>
Diffstat (limited to 'hol98')
-rw-r--r-- | hol98/x-symbol-hol98.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/hol98/x-symbol-hol98.el b/hol98/x-symbol-hol98.el index cf4614ec..8c60b4ca 100644 --- a/hol98/x-symbol-hol98.el +++ b/hol98/x-symbol-hol98.el @@ -7,10 +7,12 @@ (defvar x-symbol-hol98-symbol-table '((longarrowright () "->" "\\<longrightarrow>") + (longarrowdblright () "==>" "\\<Longrightarrow>") (logicaland () "/\\" "\\<and>") (logicalor () "\\/" "\\<or>") (equivalence () "<->" "\\<equiv>") (existential1 () "EX" "\\<exists>") + (universal1 () "ALL" "\\<forall>") ;; some naughty ones, but probably what you'd like ;; (a mess in words like "searching" "philosophy" etc!!) (Gamma () "Gamma" "\\<Gamma>") |