 Vorticity cross-product identity

For differentiable vector fields, the displayed identity relates vorticity to the antisymmetric part of the velocity gradient. Together with the curl of a cross product, it converts the adjoint linearized Navier-Stokes evolution between component and rotational forms.