TeX source:
1 - P(A)