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