… ≰ meint: weder kleiner (weniger) noch genau gleich groß, also eigentlich dasselbe wie größer ↗