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

1 files changed, 10 insertions, 10 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