TeX source:
1 \leq i \leq k