Yup, I think that would be it. Though right now I'd probably call it the "no, damn it, I really do mean equal" operator. Perhaps it would be uncommon enough that we wouldn't need to Huffman encode the name.