Źródło TeX:

\forall_{x(t_0)}