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