TeX source:
P(A \cap V)=0