From 04153288da4cba22d77a415f155130298473d6b4 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
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";

---
 coq/coq-unicode-tokens.el | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

(limited to 'coq/coq-unicode-tokens.el')

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