TeX source:
P(J∩H) = 0