Zdroj TeX:

\small \forall X,Y \in \mathcal{A}; \exists \pmb u \in V