unicode.test

<<< native
[ EIdentifier "f"
, ESymbol Rel ":"
, EIdentifier "X"
, ESymbol Rel "\8594"
, EIdentifier "Y"
]
>>> typst
f : X arrow.r Y