Fuente TeX:

a_n \leq a_{n+}