TeX source:

P(a\mid y)