TeX source:
0^x = 0