TeX source:
\forall t, s.