Zdroj TeX:

o_2: (o_2 ⊥ o_1)(S ∈ o_2)