diff options
Diffstat (limited to 'hol98/x-symbol-hol98.el')
| -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>") |