TeX source:
P(0)=0.5