[EIdentifier "u",ESymbol Ord "\8243",ESymbol Bin "+",EIdentifier "p",ESymbol Open "(",EIdentifier "x",ESymbol Close ")",EIdentifier "u",ESymbol Ord "\8242",ESymbol Bin "+",EIdentifier "q",ESymbol Open "(",EIdentifier "x",ESymbol Close ")",EIdentifier "u",ESymbol Rel "=",EIdentifier "f",ESymbol Open "(",EIdentifier "x",ESymbol Close ")",ESymbol Pun ",",ESpace (1 % 1),EIdentifier "x",ESymbol Rel ">",EIdentifier "a"]