[EIdentifier "u",ESymbol Ord "\698",ESymbol Bin "+",EIdentifier "p",ESymbol Open "(",EIdentifier "x",ESymbol Close ")",EIdentifier "u",ESymbol Ord "\697",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 "1em",EIdentifier "x",ESymbol Rel ">",EIdentifier "a"]