TeX source:
\forall f, t, s.