TeX source:

gauche\not\equiv droite