Fuente TeX:
\exists A^{-1}(x) \in G : A(x) \cdot A^{-1}(x) = 1(x)