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