<<< native [ EGrouped [ EIdentifier "A" , EPhantom (EIdentifier "A") , EIdentifier "A" , EGrouped [ EPhantom (EGrouped [ EIdentifier "A" , ESymbol Bin "+" , EIdentifier "A" ]) , EIdentifier "A" ] ] , EIdentifier "A" , EIdentifier "A" , EIdentifier "A" , EGrouped [ EIdentifier "A" , ESymbol Bin "+" , EIdentifier "A" , EIdentifier "A" ] ] >>> tex {A\phantom{A}A{\phantom{A + A}A}}AAA{A + AA}