Fuente TeX:
\overline{B} = B \cup B'