TeX Quellcode:

P\left(14\mid 12{,}25\right)