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
%1->
â¸
0x22B8
MULTIMAP
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4