TeX source:
P(A) = 0.5