TeX Quellcode:
\forall{x(Tx)}\leftrightarrow{O(Rx)}