TeX source:
P_2\left(6 \mid 20\right)