TeX source:
a\cdot a^{-1} = \frac{a}{a} = 1