\begin{definition}[Definition:Differentiation]
The process of obtaining the derivative of a differentiable function $f$ {{WRT|Differentiation}} $x$ is known as:
: '''differentiation (of $f$) with respect to $x$'''
or
: '''differentiation WRT $x$'''
\end{definition}