TeX source:
1\leq i