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