Standard extensions (logical exclusive or)

[Andrew Koenig]

Joseph Orost suggests a new operator ^^ such that

	a^^b

would be equivalent to

	a? (b?0:1): (b?1:0)

What is wrong with writing

	a!=b

for this purpose?