TeX source:
P(1\mid 1)