Zdroj TeX:

(a,b)R(c,d) \Leftrightarrow a+d=c+b