U+22E1 DOES NOT SUCCEED OR EQUAL