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