TeX source:
P_3\left(-5 \mid 5{,}25\right)