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