Źródło TeX:

(\forall x \in D) f (x^o) \leq f (x)