From 04153288da4cba22d77a415f155130298473d6b4 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Mon, 7 Jul 2008 18:13:19 +0000
Subject: unicode shortcut alist: literal backslash instead of strange control
 sequence, e.g. "\\nat" instead of "\nat";

---
 isar/isar-unicode-tokens.el  | 16 ++++++++--------
 isar/isar-unicode-tokens2.el | 16 ++++++++--------
 2 files changed, 16 insertions(+), 16 deletions(-)

(limited to 'isar')

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
-- 
cgit v1.2.3