Well, we can't use eqv because we already use that for something else, but we do have a Boolean not-equal already:

    $x ?^ $y
[download]

What we don't have is a Boolean equal. I thought about adding:

    $x ?= $y
[download]

but people would probably think that means:

    $x = $x ? $y;
[download]

which is nonsense, but they'd still think it. :-)

Anyway, the utility is not worth the extra complexity, in my opinion. Comparing two Booleans for equivalence is an odd enough thing to do that I don't mind if it looks a little odd.