TeX source:
a^0=1