Fuente TeX:

a_n < K