Zdroj TeX:

[T_{(a,b)} \cap T_{(c,d)} \neq \oslash] \Rightarrow [T_{(a,b)}= T_{(c,d)}]