TeX Quellcode:

P(a\mid y)