Zdroj TeX:
\small \forall m \in N: m \cdot 0=0