TeX source:
\vec{x}\neq\vec{0}