TeX source:

\{y: y \geq-3\}