TeX source:

|x\rangle\neq\vec{0}