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