TeX-källa:
U'=X\setminus \bar A