Standard extensions (logical exclusive or)

[Andrew Koenig]

Joseph Orost suggested that there should be a ^^ operator
for logical exclusive-or, and I suggested that writing

	a!=b

would work.  I blew it.  But this one works:

	!a != !b