diff options
| -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 |