A negated double-line less-than-or-equal relation indicating strict inequality with additional emphasis in ordered structures.
TeXipedia
A negated double-line less-than-or-equal relation indicating strict inequality with additional emphasis in ordered structures.