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