TeX Quellcode:

\forall{(Sx)\rightarrow(Tx)}