<<< mml $2+5$ >>> native [ ENumber "2" , ESymbol Bin "+" , ENumber "5" ]