Źródło TeX:
(∀(x,v))f(x,v)≥0.