unicode.test

<<< tex
f : X → Y

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