TeX source:
\forall k, s.