From 71f0f60954301df47a19e1b6778fb2348ab257a1 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 6 Apr 2000 15:11:18 +0000
Subject: tuned \<bottom>; added \<lbrace>, \<rbrace>, \<top>;

---
 isa/x-symbol-isa.el   | 5 ++++-
 isar/x-symbol-isar.el | 5 ++++-
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/isa/x-symbol-isa.el b/isa/x-symbol-isa.el
index c434694c..064c7d6a 100644
--- a/isa/x-symbol-isa.el
+++ b/isa/x-symbol-isa.el
@@ -108,7 +108,7 @@
     (squnion           () "\\\\<squnion>" "\\<squnion>")
     (bigsqintersection () "\\\\<Sqinter>" "\\<Sqinter>")
     (bigsqunion        () "\\\\<Squnion>" "\\<Squnion>")
-    (perpendicular1    () "\\\\<bottom>" "\\<bottom>")
+    (perpendicular     () "\\\\<bottom>" "\\<bottom>")
     (dotequal    () "\\\\<doteq>" "\\<doteq>")
     (equivalence () "\\\\<equiv>" "\\<equiv>")
     (notequal    () "\\\\<noteq>" "\\<noteq>")
@@ -181,6 +181,9 @@
     (yen () "\\\\<yen>" "\\<yen>")
     (cent () "\\\\<cent>" "\\<cent>")
     (currency () "\\\\<currency>" "\\<currency>")
+    (braceleft2 () "\\\\<lbrace>" "\\<lbrace>")
+    (braceright2 () "\\\\<rbrace>" "\\<rbrace>")
+    (top () "\\\\<top>" "\\<top>")
   ))
 (defvar x-symbol-isa-user-table nil)
 (defvar x-symbol-isa-table
diff --git a/isar/x-symbol-isar.el b/isar/x-symbol-isar.el
index d8a679b4..fcb1ed5a 100644
--- a/isar/x-symbol-isar.el
+++ b/isar/x-symbol-isar.el
@@ -101,7 +101,7 @@
     (squnion           () "\\\\<squnion>" "\\<squnion>")
     (bigsqintersection () "\\\\<Sqinter>" "\\<Sqinter>")
     (bigsqunion        () "\\\\<Squnion>" "\\<Squnion>")
-    (perpendicular1    () "\\\\<bottom>" "\\<bottom>")
+    (perpendicular     () "\\\\<bottom>" "\\<bottom>")
     (dotequal    () "\\\\<doteq>" "\\<doteq>")
     (equivalence () "\\\\<equiv>" "\\<equiv>")
     (notequal    () "\\\\<noteq>" "\\<noteq>")
@@ -174,6 +174,9 @@
     (yen () "\\\\<yen>" "\\<yen>")
     (cent () "\\\\<cent>" "\\<cent>")
     (currency () "\\\\<currency>" "\\<currency>")
+    (braceleft2 () "\\\\<lbrace>" "\\<lbrace>")
+    (braceright2 () "\\\\<rbrace>" "\\<rbrace>")
+    (top () "\\\\<top>" "\\<top>")
   ))
 (defvar x-symbol-isar-user-table nil)
 (defvar x-symbol-isar-table
-- 
cgit v1.2.3