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