TeX source:

k\leqslant{n}