TeX source:
P_3 \left(2 \mid 12 \right)