texmath-0.13.1.2: test/writer/eqn/mphantomBinferred2.test
<<< native
[ EIdentifier "A"
, EPhantom (EIdentifier "A")
, EIdentifier "A"
, EPhantom
(EGrouped [ EIdentifier "A" , ESymbol Bin "+" , EIdentifier "A" ])
, EIdentifier "A"
]
>>> eqn
A hphantom A A hphantom {A + A} A