TeX source:
0 \leq t \leq t_0