Źródło TeX:

X. ⇔(∀x,y∈X)f(y)≥f(x)+∇f(x)(y-x).