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