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