<<< mml $A+B$ >>> native [ EIdentifier "A" , ESymbol Bin "+" , EIdentifier "B" ]