TeX source:
P(I∩F)=0