TeX source:
1(x \neq 0)