Źródło TeX:
k_4^+\geq k