Creating Free Variable/Examples/Derivative Example

In differential calculus:
 * $\ds \lim_{h \mathop \to 0} \frac {\map f {x + h} - \map f x} h$

$x$ is a free variable.