TeX source:
X\neq \emptyset