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