From 075c9e5fa23e69563a637a9ffbcab5d1402edd19 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Jan 2008 23:30:05 +0000
Subject: Switch to fake long symbols

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

diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el
index ada9f804..de467cd3 100644
--- a/isar/isar-unicode-tokens.el
+++ b/isar/isar-unicode-tokens.el
@@ -206,22 +206,22 @@
    ("leftharpoonup" . "↼")
    ("leftharpoondown" . "↽")
    ("rightleftharpoons" . "⇌")
-;; Real long symbols: 
-   ("longleftarrow" . "⟵")
-   ("Longleftarrow" . "⟸")
-   ("longrightarrow" . "⟶")
-   ("Longrightarrow" . "⟹")
-   ("longleftrightarrow" . "⟷")
-   ("longmapsto" . "⟼")
-;; Faked long symbols (older Linux versions):
-;;;    ("longleftarrow" . "←=")
-;;;    ("Longleftarrow" . "⇐=")
-;;;    ("longrightarrow" . "=→")
-;;;    ("Longrightarrow" . "=⇒")
-;;;    ("longleftrightarrow" . "←→")
-;;;    ("Longleftrightarrow" . "⇐⇒")
-;;;    ("longmapsto" . "❘→")
-    ("DodgyLongleftrightarrow" . "⇐woo⇒")
+;; Real long symbols, may work in some places: if
+;; you see symbols below, you're lucky!
+;;;    ("longleftarrow" . "⟵")
+;;;    ("Longleftarrow" . "⟸")
+;;;    ("longrightarrow" . "⟶")
+;;;    ("Longrightarrow" . "⟹")
+;;;    ("longleftrightarrow" . "⟷")
+;;;    ("longmapsto" . "⟼")
+;; Faked long symbols, for use otherwise:
+     ("longleftarrow" . "←-")
+     ("Longleftarrow" . "⇐=")
+     ("longrightarrow" . "-→")
+     ("Longrightarrow" . "=⇒")
+     ("longleftrightarrow" . "←→")
+     ("Longleftrightarrow" . "⇐⇒")
+     ("longmapsto" . "❘→")
    ("hookrightarrow" . "↪")
    ("rightharpoonup" . "⇀")
    ("rightharpoondown" . "⇁")
-- 
cgit v1.2.3