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