On 01 Sep 2001 14:40:40 -0700, Russ Allbery wrote:

>Sterin, Ilya <[EMAIL PROTECTED]> writes:
>>> From: Russ Allbery [mailto:[EMAIL PROTECTED]]
>
>>> How is !< different from >=?
...

>It's the same number of characters.  How can it be more convenient?

Why is it ">=" and not "=>"? Why "=<" and not "<="? Simply trying to
remember the order of characters might be (a bit of) a pain. That
problem doesn't exist with "!<" and "!>".

-- 
        Bart.

Reply via email to