TeX source:
i \leq S