TeX source:

gauche\equiv droite