A negated relation symbol indicating "not greater than or equal to" with double underlines in ordered sets and inequalities.
TeXipedia
A negated relation symbol indicating "not greater than or equal to" with double underlines in ordered sets and inequalities.