TeX source:
a^1=a