TeX source:
P\left(8\mid 9\right)