[EGrouped [EGrouped [EUnder (EIdentifier "x") (EStretchy (ESymbol Accent "\711")),ESymbol Op "\8800",EGrouped [EUnder (EIdentifier "x") (EStretchy (ESymbol Accent "\711"))],ESymbol Op "=",EUnder (EIdentifier "x") (EStretchy (ESymbol Accent "\711")),ESymbol Op "=",EUnder (EIdentifier "x") (EStretchy (ESymbol Op "\711"))]]]