Zdroj TeX:
\small \forall x: n_x \neq \ \emptyset