Source TeX:
p_0(0)=1