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