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