Źródło TeX:

k_3^+\geq k_5