Zdroj TeX:

(∀z)(z ∈ \small A ⇒ \normalsize z ∈ \small B)