TeX source:
k\geq n