TeX source:
P(A') =