TeX source:

P\left(7\mid 88\right)