texmath-0.13.1.2: test/roundtrip/mphantomBinferred2.native

[ EIdentifier "A"
, EPhantom (EIdentifier "A")
, EIdentifier "A"
, EPhantom
    (EGrouped [ EIdentifier "A" , ESymbol Bin "+" , EIdentifier "A" ])
, EIdentifier "A"
]