[EGrouped [ESuper (EIdentifier "a") (ESymbol Op "+"),ESymbol Op "=",EUnderover (EGrouped [ESuper (EIdentifier "a") (ESymbol Op "+")]) (EUnary "\\phantom" (EGrouped [EIdentifier "x"])) (EUnary "\\phantom" (EGrouped [EIdentifier "x"]))]]