Curl of the curl identity (source code)

= Curl of the curl identity

For a twice differentiable vector field $A$,
$$
\nabla\times(\nabla\times A)
=\nabla(\nabla\cdot A)-\nabla^2A.
$$