diff options
| -rw-r--r-- | isar/isar-unicode-tokens.el | 32 |
1 files 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" . "⇁") |