TeX source:
\forall a, d, s.