diff options
| author | Sebastian Reuße <seb@wirrsal.net> | 2015-06-12 10:36:15 +0200 |
|---|---|---|
| committer | Thomas Miedema <thomasmiedema@gmail.com> | 2015-06-12 11:11:23 +0200 |
| commit | 016bbfd261b91193baa99ec008b469a70c66b8be (patch) | |
| tree | 65d7a81da131572e2b24a9422c9741ce3585e04b | |
| parent | ce53138ff0d156e9f229d0adab745d2d4cfaf582 (diff) | |
| download | haskell-016bbfd261b91193baa99ec008b469a70c66b8be.tar.gz | |
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.
| -rw-r--r-- | docs/users_guide/glasgow_exts.xml | 10 |
1 files 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. <tbody> <row> <entry><literal>::</literal></entry> - <entry>::</entry> <!-- no special char, apparently --> + <entry>∷</entry> <entry>0x2237</entry> <entry>PROPORTION</entry> </row> @@ -363,7 +363,7 @@ Indeed, the bindings can even be recursive. <tbody> <row> <entry>-<</entry> - <entry>↢</entry> + <entry>⤙</entry> <entry>0x2919</entry> <entry>LEFTWARDS ARROW-TAIL</entry> </row> @@ -372,7 +372,7 @@ Indeed, the bindings can even be recursive. <tbody> <row> <entry>>-</entry> - <entry>↣</entry> + <entry>⤚</entry> <entry>0x291A</entry> <entry>RIGHTWARDS ARROW-TAIL</entry> </row> @@ -381,7 +381,7 @@ Indeed, the bindings can even be recursive. <tbody> <row> <entry>-<<</entry> - <entry></entry> + <entry>⤛</entry> <entry>0x291B</entry> <entry>LEFTWARDS DOUBLE ARROW-TAIL</entry> </row> @@ -390,7 +390,7 @@ Indeed, the bindings can even be recursive. <tbody> <row> <entry>>>-</entry> - <entry></entry> + <entry>⤜</entry> <entry>0x291C</entry> <entry>RIGHTWARDS DOUBLE ARROW-TAIL</entry> </row> |