TeX source:
\forall x\,x\rightarrow