TeX source:
P(0 \mid 12)