TeX source:
P_1\left(4 \mid 3\right)