Fuente TeX:

(\bar{\exists} k \in \mathbb{N}) ( M \models (\exists x) x =' x \text{ y } M \not\models (\exists x) t_{k+1} =' x )