[[!redirects D operator]] #Contents# * table of contents {:toc} ## Definition ## Given an [[Archimedean ordered field]] $F$, the __Newton–Leibniz operator__ or __D operator__ $\tilde{D}: D^1(F, F) \to (F \to F)$ is a function from the type of [[differentiable function]]s $D^1(F, F)$ to the type of functions $F \to F$. For any differentiable function $f:D^1(F, F)$, the function $\tilde{D}(f)$ is called the __derivative__ of $f$. ## See also ## * [[differentiable function]] * [[iterated differentiable function]] * [[smooth function]] * [[antiderivative]]