Źródło TeX:

(∀j∈\overline{1,p}) β_j≥0.