TeX source:
a^{-1} a=1