Source TeX:
a^0=1