From 668ae7660aed964e957a21f922c6441235237e75 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 11 Sep 2009 12:01:22 +0000
Subject: Bug in \\<diamond> token

---
 isar/isar-unicode-tokens.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el
index 7eda6ae3..83ef08e1 100644
--- a/isar/isar-unicode-tokens.el
+++ b/isar/isar-unicode-tokens.el
@@ -583,7 +583,7 @@ For Isabelle, the token TOKNAME is made into the token \\< TNAME >."
     ("<-->" . "\\<longleftrightarrow>")
     ("<<" . "\\<guillemotleft>")
     (">>" . "\\<guillemotright>")
-    ("<>" . "\<diamond>")
+    ("<>" . "\\<diamond>")
     ("[|" . "\\<lbrakk>")
     ("|]" . "\\<rbrakk>")
     ("{|" . "\\<lbrace>")
-- 
cgit v1.2.3