diff options
| author | Makarius Wenzel | 2000-04-06 15:11:18 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-04-06 15:11:18 +0000 |
| commit | 71f0f60954301df47a19e1b6778fb2348ab257a1 (patch) | |
| tree | 3b9cddd9cbe7783b7708b176103fb90789c0490d /isar | |
| parent | 0d87abac3f261b694eee930436974aeec50ec78b (diff) | |
tuned \<bottom>;
added \<lbrace>, \<rbrace>, \<top>;
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/x-symbol-isar.el | 5 |
1 files changed, 4 insertions, 1 deletions
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 |