TeX-källa:
\bar V\cap U=\emptyset