Źródło TeX:
a_i\leq a_{i+1}