TeX source:
P (x \mid y)