TeX source:
2^0 = 1