diff options
| -rw-r--r-- | coq/coq-unicode-tokens.el | 20 | ||||
| -rw-r--r-- | isar/isar-unicode-tokens.el | 16 | ||||
| -rw-r--r-- | isar/isar-unicode-tokens2.el | 16 |
3 files changed, 26 insertions, 26 deletions
diff --git a/coq/coq-unicode-tokens.el b/coq/coq-unicode-tokens.el index 9206e406..7caeb30b 100644 --- a/coq/coq-unicode-tokens.el +++ b/coq/coq-unicode-tokens.el @@ -105,16 +105,16 @@ results will be undefined when files are saved." (":=" . "≔") ;; some word shortcuts, started with backslash otherwise ;; too annoying, perhaps. - ("\forall" . "∀") - ("\exists" . "∃") - ("\nat" . "ℕ") - ("\int" . "ℤ") - ("\rat" . "ℚ") - ("\real" . "ℝ") - ("\complex" . "ℂ") - ("\euro" . "€") - ("\yen" . "¥") - ("\cent" . "¢")) + ("\\forall" . "∀") + ("\\exists" . "∃") + ("\\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 diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el index 7814945d..505c97ea 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.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 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 |