From 80cfed887895d89c00e87d720987ac6bf18bc949 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Wed, 2 Sep 2009 10:27:23 +0000
Subject: proper backslash escape;

---
 isar/isar-unicode-tokens.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el
index ad6353ad..2e1e7b55 100644
--- a/isar/isar-unicode-tokens.el
+++ b/isar/isar-unicode-tokens.el
@@ -588,8 +588,8 @@ For Isabelle, the token TOKNAME is made into the token \\< TNAME >."
     ;; ("!"  . "\\<forall>")
     ;; ("?"  . "\\<exists>")
     ;; extra misc, switch them off if you don't like them
-    ("|>" . "\<triangleright>")
-    ("<|" . "\<triangleleft>"))
+    ("|>" . "\\<triangleright>")
+    ("<|" . "\\<triangleleft>"))
   "Shortcut key sequence table for symbol tokens input.
 See `unicode-tokens-shortcut-alist'."
     :type 'unicode-tokens-shortcut-alist
-- 
cgit v1.2.3