TeX source:
P \; (x\mid y \mid z)