5 lines
151 B
Plaintext
5 lines
151 B
Plaintext
sin%(gle)-byte
|
|
%(λx.)λy.y x - start on wide char
|
|
∃e∈%(C.∀)g∈C.g⊗e≡e⊗g≡e - tabs, ending on wide char
|
|
%(x̦̏)- combining characters
|