andrew@orca.UUCP (Andrew Klossner) (11/26/84)
If we're going to have the ^^ operator as a logical version of bitwise
^, then we simply must have a logical version of the equivalence (EQV)
operator, ==.
Following the existing convention, it will be spelled ====. Thus:
(a====b) is equivalent to ((a!=0) == (b!=0))
(-: or we could spell ^^ as !=!= :-)
-- Andrew Klossner (decvax!tektronix!orca!andrew) [UUCP]
(orca!andrew.tektronix@csnet-relay) [ARPA]dan@digi-g.UUCP (Dan Messinger) (11/27/84)
In article <1181@orca.UUCP> andrew@orca.UUCP (Andrew Klossner) writes: >If we're going to have the ^^ operator as a logical version of bitwise >^, then we simply must have a logical version of the equivalence (EQV) >operator, ==. > >Following the existing convention, it will be spelled ====. Thus: > > (a====b) is equivalent to ((a!=0) == (b!=0)) > >(-: or we could spell ^^ as !=!= :-) Ah, but a====b is easily expressed as !(a^^b). :-) (I can be as ridiculous as the next guy) Dan Messinger ihnp4!umn-cs!digi-g!dan