TeX source:
a ≠ 0,