<<< mml $x+y$ >>> native [ EIdentifier "x" , ESymbol Bin "+" , EIdentifier "y" ]