docs: Fix unicode alternatives table (fixes #10509).
authorSebastian Reuße <seb@wirrsal.net>
Fri, 12 Jun 2015 08:36:15 +0000 (10:36 +0200)
committerThomas Miedema <thomasmiedema@gmail.com>
Fri, 12 Jun 2015 09:11:23 +0000 (11:11 +0200)
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

index 303833a..08208d4 100644 (file)
@@ -322,7 +322,7 @@ Indeed, the bindings can even be recursive.
          <tbody>
            <row>
              <entry><literal>::</literal></entry>
-             <entry>::</entry> <!-- no special char, apparently -->
+             <entry>&#x2237;</entry>
               <entry>0x2237</entry>
              <entry>PROPORTION</entry>
            </row>
@@ -363,7 +363,7 @@ Indeed, the bindings can even be recursive.
          <tbody>
            <row>
              <entry>-&lt;</entry>
-             <entry>&larrtl;</entry>
+             <entry>&#x2919;</entry>
              <entry>0x2919</entry>
              <entry>LEFTWARDS ARROW-TAIL</entry>
            </row>
@@ -372,7 +372,7 @@ Indeed, the bindings can even be recursive.
          <tbody>
            <row>
              <entry>&gt;-</entry>
-             <entry>&rarrtl;</entry>
+             <entry>&#x291A;</entry>
              <entry>0x291A</entry>
              <entry>RIGHTWARDS ARROW-TAIL</entry>
            </row>
@@ -381,7 +381,7 @@ Indeed, the bindings can even be recursive.
          <tbody>
            <row>
              <entry>-&lt;&lt;</entry>
-             <entry></entry>
+             <entry>&#x291B;</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>&gt;&gt;-</entry>
-             <entry></entry>
+             <entry>&#x291C;</entry>
              <entry>0x291C</entry>
              <entry>RIGHTWARDS DOUBLE ARROW-TAIL</entry>
            </row>