Can I offer an alternative suggestion?

How about these arrow operators, which despite being 3 characters, look pretty nice, and are not currently valid python:

a <== b <== c
a ==> b ==> c

Perhaps __larrow__ and __rarrow__ for the dunders.

And they would not be the only 3 character operators in python:

//=, **=, >>=, <<=