TeXipedia
Find LaTeX symbols fast

A binary relation symbol representing "not triangle left" that negates the triangular ordering relation in order theory.

\ntriangleleft image