U+033b =
U+033b =
U+2200 =
U+2200 =
U+2208 =
U+2208 =
U+00002208 =
U+00002208 =
0x40 =
0X40 =
o100 =
O100 =
64 =
U+07FF =
U+D7FF =
U+DFFF = /* not really correct */
U+FFFD =
U+FFFF = /* not really correct */
U+10FFFF =
U+11000 = /* invalid */
<Escape> =
<Tab> =
<Space> =
<Enter> =