TeX source:
\ntriangleleft, \ntriangleright