Fuente TeX:
\overline{U}\subseteq V