TeX source:
\ a\neq0