TeX source:
u^0=1