Source TeX:
y\ne 0