\input amstex \operatorname{rot} \vec{v} = 0