TeX source:

{y: 0 \leq y \leq 4}