unicode shortcut alist: literal backslash instead of strange control sequence, e.g. "\\nat" instead of "\nat";

1 files changed, 8 insertions, 8 deletions

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