Commit 016bbfd2 authored by Sebastian Reuße's avatar Sebastian Reuße Committed by thomie

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.
parent ce53138f
...@@ -322,7 +322,7 @@ Indeed, the bindings can even be recursive. ...@@ -322,7 +322,7 @@ Indeed, the bindings can even be recursive.
<tbody> <tbody>
<row> <row>
<entry><literal>::</literal></entry> <entry><literal>::</literal></entry>
<entry>::</entry> <!-- no special char, apparently --> <entry>&#x2237;</entry>
<entry>0x2237</entry> <entry>0x2237</entry>
<entry>PROPORTION</entry> <entry>PROPORTION</entry>
</row> </row>
...@@ -363,7 +363,7 @@ Indeed, the bindings can even be recursive. ...@@ -363,7 +363,7 @@ Indeed, the bindings can even be recursive.
<tbody> <tbody>
<row> <row>
<entry>-&lt;</entry> <entry>-&lt;</entry>
<entry>&larrtl;</entry> <entry>&#x2919;</entry>
<entry>0x2919</entry> <entry>0x2919</entry>
<entry>LEFTWARDS ARROW-TAIL</entry> <entry>LEFTWARDS ARROW-TAIL</entry>
</row> </row>
...@@ -372,7 +372,7 @@ Indeed, the bindings can even be recursive. ...@@ -372,7 +372,7 @@ Indeed, the bindings can even be recursive.
<tbody> <tbody>
<row> <row>
<entry>&gt;-</entry> <entry>&gt;-</entry>
<entry>&rarrtl;</entry> <entry>&#x291A;</entry>
<entry>0x291A</entry> <entry>0x291A</entry>
<entry>RIGHTWARDS ARROW-TAIL</entry> <entry>RIGHTWARDS ARROW-TAIL</entry>
</row> </row>
...@@ -381,7 +381,7 @@ Indeed, the bindings can even be recursive. ...@@ -381,7 +381,7 @@ Indeed, the bindings can even be recursive.
<tbody> <tbody>
<row> <row>
<entry>-&lt;&lt;</entry> <entry>-&lt;&lt;</entry>
<entry></entry> <entry>&#x291B;</entry>
<entry>0x291B</entry> <entry>0x291B</entry>
<entry>LEFTWARDS DOUBLE ARROW-TAIL</entry> <entry>LEFTWARDS DOUBLE ARROW-TAIL</entry>
</row> </row>
...@@ -390,7 +390,7 @@ Indeed, the bindings can even be recursive. ...@@ -390,7 +390,7 @@ Indeed, the bindings can even be recursive.
<tbody> <tbody>
<row> <row>
<entry>&gt;&gt;-</entry> <entry>&gt;&gt;-</entry>
<entry></entry> <entry>&#x291C;</entry>
<entry>0x291C</entry> <entry>0x291C</entry>
<entry>RIGHTWARDS DOUBLE ARROW-TAIL</entry> <entry>RIGHTWARDS DOUBLE ARROW-TAIL</entry>
</row> </row>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment