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