TeX source:

\vec{a}\neq\vec{0}