TeX source:

P \; (x \mid y)