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