TeX source:
0 \leq t \leq 8.75