TeX Quellcode:

x \not\in\{0\}