6.2.1. Unicode syntax¶
- UnicodeSyntax¶
- Since:
6.8.1
Enable the use of Unicode characters in place of their equivalent ASCII sequences.
The language extension UnicodeSyntax enables
Unicode characters to be used to stand for certain ASCII character
sequences. The following alternatives are provided:
ASCII |
Unicode alternative |
Code point |
Name |
|---|---|---|---|
|
∷ |
0x2237 |
PROPORTION |
|
⇒ |
0x21D2 |
RIGHTWARDS DOUBLE ARROW |
|
→ |
0x2192 |
RIGHTWARDS ARROW |
|
← |
0x2190 |
LEFTWARDS ARROW |
|
⤚ |
0x291a |
RIGHTWARDS ARROW-TAIL |
|
⤙ |
0x2919 |
LEFTWARDS ARROW-TAIL |
|
⤜ |
0x291C |
RIGHTWARDS DOUBLE ARROW-TAIL |
|
⤛ |
0x291B |
LEFTWARDS DOUBLE ARROW-TAIL |
|
★ |
0x2605 |
BLACK STAR |
|
∀ |
0x2200 |
FOR ALL |
|
⦇ |
0x2987 |
Z NOTATION LEFT IMAGE BRACKET |
|
⦈ |
0x2988 |
Z NOTATION RIGHT IMAGE BRACKET |
|
⟦ |
0x27E6 |
MATHEMATICAL LEFT WHITE SQUARE BRACKET |
|
⟧ |
0x27E7 |
MATHEMATICAL RIGHT WHITE SQUARE BRACKET |
|
⊸ |
0x22B8 |
MULTIMAP |