TeX source:
0 \leq \mathrm{t} \leq 8