TeX source:

\{x \mid x \geq 4\}