TeX source:
P(a)=0.13