TeX source:

i \leq k