Źródło TeX:

k_1^+\geq k_2