Fuente TeX:
(\exists x) x =' x