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