Źródło TeX:
\forall_{i}R_i\cap B=\emptyset