TeX source:
P_2\left(9 \mid 116\right)