TeX Quellcode:

P\left(7\mid 88\right)