TeX source:
P\left(A^{c}\right)=1-P(A)