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