From d17c13bee1a8cf938c8c1357fd152e1d71c8e4c7 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Tue, 3 Aug 2010 15:29:35 +0000
Subject: less surprising unicode tokens: <-> corresponds to longleftrightarrow
 in common Isabelle theories (according to symbol length not shape), emdash is
 not predefined by default and confuses typical LaTeX source;

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

(limited to 'isar')

diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el
index 581543ab..ce1620a6 100644
--- a/isar/isar-unicode-tokens.el
+++ b/isar/isar-unicode-tokens.el
@@ -593,7 +593,7 @@ For Isabelle, the token TOKNAME is made into the token \\< TNAME >."
     ("==>" . "\\<Longrightarrow>")
     ("<==>" . "\\<Longleftrightarrow>")
     ("|-->" . "\\<longmapsto>")
-    ("<-->" . "\\<longleftrightarrow>")
+    ("<->" . "\\<longleftrightarrow>")
     ("<<" . "\\<guillemotleft>")
     (">>" . "\\<guillemotright>")
     ("<>" . "\\<diamond>")
@@ -601,7 +601,6 @@ For Isabelle, the token TOKNAME is made into the token \\< TNAME >."
     ("|]" . "\\<rbrakk>")
     ("{|" . "\\<lbrace>")
     ("|}" . "\\<rbrace>")
-    ("---" . "\\<emdash>")
     ("(|" . "\\<lparr>")
     ("|)" . "\\<rparr>")
     ;; useful for unicode-tokens-replace-shortcuts
-- 
cgit v1.2.3