Fuente TeX:

(\exists x) t_0 =' x \vDash (\exists x) t_{k+1} =' x