> 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 mea

> 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 >=?