Zdroj TeX:

(V ∈ t_V, t_V ⊥ o)