Fuente TeX:
E\exists^1