Źródło TeX:

(\forall x \in \textbf{O}(x*) \cap D) f (x*) \leq f (x).