Source TeX:
a\ne 0