TeX source:
z \ne 0