diff options
| author | David Aspinall | 2008-01-28 23:30:05 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-28 23:30:05 +0000 |
| commit | 075c9e5fa23e69563a637a9ffbcab5d1402edd19 (patch) | |
| tree | d3d70da157d41ac64f9a26df60348c067f58401b /isar | |
| parent | 01dcd681219ea84b41fb4607520344a7bb716198 (diff) | |
Switch to fake long symbols
Diffstat (limited to 'isar')
| -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" . "⇁") |