Źródło TeX:
(∀v≠0)(∀x∈X) v^T ∇^2 f(x)v>0⇒