Fuente TeX:
\forall a,b \in A / aRb \land \neg (bRa)