TeX source:
\pi(a \mid s)