TeX source:
\{x: x \geq 2\}