TeX source:

P(I∪F)