TeX source:
\forall a,c,s.