unicode.test

<<< native
[ EIdentifier "f"
, ESymbol Rel ":"
, EIdentifier "X"
, ESymbol Rel "\8594"
, EIdentifier "Y"
]
>>> tex
f : X \rightarrow Y