Zdroj TeX:
p_1: (p_1 ∥ o_2)(M_1 ∈ p_1), p_2: (p_2 ∥ o_1)(M_2 ∈ p_2)