XoaX.net's MathML: The Definition of Differentiation

The derivative of the function $f$ at $x$ is

\frac{d f (x)}{d x} = lim_{d x \to 0} \frac{f (x + d x) - f (x)}{d x}