Źródło TeX:
\forall\ a\in\ A:aRa