<<< mml $$\pi +1$$ >>> native [ EIdentifier "\960" , ESymbol Bin "+" , ENumber "1" ]