Fuente TeX:

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