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