Derivative of the Dirac delta (source code)

= Derivative of the Dirac delta
{title2=$\delta'$}

The derivative of the Dirac delta is the <distributional derivative> defined by
$$
\langle\delta',\varphi\rangle=-\varphi'(0)
$$
for every <test function> $\varphi$.