TeX source:

P(Y) > 0