Zdroj TeX:

(a,b)R(c,d)⟺a+d=c+b