TeX source:

\{x \mid x \geq a\}