TeX Quellcode:
\forall x \, A(x)