Zdroj TeX:

\forall a,b,c,d \in N: (a,b)R(c,d) \Leftrightarrow a+d=c+b