Źródło TeX:
\forall_{i} J_S(R_i)