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:
//=, **=, >>=, <<=