From 765c359180ebb5597f63582315d91208c1af6cd9 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Sat, 5 Jul 2008 17:30:23 +0000
Subject: Add back |-> shortcut

---
 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 6b2de7fd..7814945d 100644
--- a/isar/isar-unicode-tokens.el
+++ b/isar/isar-unicode-tokens.el
@@ -530,7 +530,7 @@ results will be undefined when files are saved."
     ("=>" . "⇒")
     ("<->" . "↔")
     ("<=>" . "⇔")
-;    ("|->" . "↦") 
+    ("|->" . "↦") 
     ("<--" . "⟵")
     ("<==" . "⟸")
     ("-->" . "⟶")
-- 
cgit v1.2.3