TeX source:
\forall a,o,l,s.