Zdroj TeX:

\forall (a,b),(c,d) \in Z\times Z^+: (a,b)R(c,d) \Leftrightarrow a \cdot d=c \cdot b