TeX source:
x^n \cdot x^{-n} = 1