TeX Quellcode:
P (x \mid y)