TeX source:
P(A\vee B)=P(A)+P(B)