From c981d4ef45ebb36160de5630b75f60ab1e9b5000 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 10 Mar 2000 09:08:30 +0000
Subject: Symbol for ==>

---
 hol98/x-symbol-hol98.el | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'hol98')

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>")
-- 
cgit v1.2.3