TeX source:

|0\rangle\color{red}{\neq}\vec{0}