TeX source:
P(1 \mid 2e)