TeX source:
1 \leq t \leq k