Źródło TeX:
\forall\ a,b\in\ A:aRb(bRa