Προέλευση/πηγή TeX:

U\neq \emptyset