TeX source:
\{x \mid x \neq 0\}