Źródło TeX:
\forall_{x(t_0)}\