TeX source:
P\left(0\mid 0\right)