TeX source:
x \not\in\{0\}