TeX Quellcode:
P_1 \left(7\mid 5 \right)