TeX source:
P(A)=0.70