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
forall 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