Zdroj TeX:

(∀\small X)(∀\small Y)[(\small X = \small Y) ⇔ (∀z)(z ∈ \small X ⇔ z ∈ \small Y)]