TeX source:
n\geq{k}