diff options
Diffstat (limited to 'isar/isar-unicode-tokens2.el')
| -rw-r--r-- | isar/isar-unicode-tokens2.el | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/isar/isar-unicode-tokens2.el b/isar/isar-unicode-tokens2.el index e252ebdc..67615b7d 100644 --- a/isar/isar-unicode-tokens2.el +++ b/isar/isar-unicode-tokens2.el @@ -552,14 +552,14 @@ results will be undefined when files are saved." ; (":=" . "≔") ;; some word shortcuts, started with backslash otherwise ;; too annoying. - ("\nat" . "ℕ") - ("\int" . "ℤ") - ("\rat" . "ℚ") - ("\real" . "ℝ") - ("\complex" . "ℂ") - ("\euro" . "€") - ("\yen" . "¥") - ("\cent" . "¢")) + ("\\nat" . "ℕ") + ("\\int" . "ℤ") + ("\\rat" . "ℚ") + ("\\real" . "ℝ") + ("\\complex" . "ℂ") + ("\\euro" . "€") + ("\\yen" . "¥") + ("\\cent" . "¢")) "Shortcut key sequence table for Unicode strings. You can adjust this table to add more entries, or to change entries for |