TeX source:
k\ge k_0