> Ever notice that the notation for a ⇒ b looks awfully similar to a >= b, just with the symbols switched around? Well, they're the same thing.

...

> This means that only if x>y, then the statement is false. A simpler way to write this is that x ≤ y, which reveals the connection.

So it's the same as <= not >=?