TeX source:

P(x\mid y)