A relational symbol denoting a strict inequality that is specifically not equal, commonly used in analysis and set theory.
TeXipedia
A relational symbol denoting a strict inequality that is specifically not equal, commonly used in analysis and set theory.