TeX source:
P_3(3\mid 14)