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