Fuente TeX:

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