TeXipedia
Find LaTeX symbols fast

A negated relation symbol indicating "does not succeed" in ordered sets and binary relations.

\nsucc image