Source TeX:
(a \ne 0)