TeX source:
∃g^k=e