The corresponding "=" operators have been there a long time, and not
having their negators is a bit of a nuisance.

Michael Paquier