[EIdentifier "x",ESymbol Rel "\8712",EIdentifier "y",ESymbol Bin "\8743",EIdentifier "x",ESymbol Rel "\8713",EIdentifier "y"]