diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-04-06 15:11:18 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-04-06 15:11:18 +0000 |
| commit | 71f0f60954301df47a19e1b6778fb2348ab257a1 (patch) | |
| tree | 3b9cddd9cbe7783b7708b176103fb90789c0490d | |
| parent | 0d87abac3f261b694eee930436974aeec50ec78b (diff) | |
tuned \<bottom>;
added \<lbrace>, \<rbrace>, \<top>;
| -rw-r--r-- | isa/x-symbol-isa.el | 5 | ||||
| -rw-r--r-- | 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 |