TeX source:

\{y: 0 \leq y \leq 4\}