TeX source:
P\left(H^{c}\right)