Source TeX:
( \overline{A} \cap B) \cap \emptyset = \emptyset