TeX source:

P(A\vee B)