TeX source:

\{x: x < -3\}