From 016bbfd261b91193baa99ec008b469a70c66b8be Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sebastian=20Reu=C3=9Fe?= Date: Fri, 12 Jun 2015 10:36:15 +0200 Subject: [PATCH] docs: Fix unicode alternatives table (fixes #10509). The alternatives table gave the wrong glyphs for LEFTWARDS resp. RIGHTWARDS ARROW-TAIL notation. The listed codepoint was correct, but the entities corresponded to characters different from those codepoints. This also adds the glyphs for LEFTWARDS resp. RIGHTWARDS DOUBLE ARROW-TAIL, which were formerly missing, and the PROPORTION glyph, which was formerly given as ASCII. --- docs/users_guide/glasgow_exts.xml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index 303833a291..08208d4124 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -322,7 +322,7 @@ Indeed, the bindings can even be recursive. :: - :: + ∷ 0x2237 PROPORTION @@ -363,7 +363,7 @@ Indeed, the bindings can even be recursive. -< - ↢ + ⤙ 0x2919 LEFTWARDS ARROW-TAIL @@ -372,7 +372,7 @@ Indeed, the bindings can even be recursive. >- - ↣ + ⤚ 0x291A RIGHTWARDS ARROW-TAIL @@ -381,7 +381,7 @@ Indeed, the bindings can even be recursive. -<< - + ⤛ 0x291B LEFTWARDS DOUBLE ARROW-TAIL @@ -390,7 +390,7 @@ Indeed, the bindings can even be recursive. >>- - + ⤜ 0x291C RIGHTWARDS DOUBLE ARROW-TAIL -- GitLab