TeX source:
\{x \mid a \leq x < b\}