TeX source:
p(0)=1