TeX source:

\{x \mid x \leq b\}