TeX source:
P(4\mid 0)