Zdroj TeX:

(1,0)R(n+1,n)⟺1+n=(n+1)+0