TeX source:
\ a\neq{0}