Fuente TeX:

(\bar{\forall} k \in \mathbb{N}) ( M \models (\exists x)t_0 =' x \Rightarrow M \models (\exists x) t_{k+1} =' x)