TeX source:
k\geq -1