Źródło TeX:
y\leq x_i, \forall i.