TeX source:

P(t\mid y)