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