Zdroj TeX:
\forall x,y \in N : x+y´=x´+y