TeX source:
\{x \, \mid \, x \, \text{is all real numbers}\}