Unfortunately, my device dors not display LEFT ARROW WITH CIRCLED PLUS. Nor, obviously, write I have any way to enter it easily. On Wed, Nov 6, 2019, 2:05 PM Mike Miller <python-ideas@mgmiller.net> wrote:
On 2019-11-06 05:40, Andrew Barnert via Python-ideas wrote:
While we’re at it, when you replace both = and := with an arrow, what do you do with += and the other augmented assignments? I can’t think of a single-character symbol that visually represents that meaning. If you leave it as + followed by an arrow, or try to come up with some new digraph, now we have the worst of both worlds, Unicode soup: operators that are digraphs and not visually meaningful while also not being typeable.
There is:
U+2B32 ⬲ LEFT ARROW WITH CIRCLED PLUS
But there would need to be more. I didn't find any obvious for: -=
-Mike
_______________________________________________ Python-ideas mailing list -- python-ideas@python.org To unsubscribe send an email to python-ideas-leave@python.org https://mail.python.org/mailman3/lists/python-ideas.python.org/ Message archived at https://mail.python.org/archives/list/python-ideas@python.org/message/RBEZYY... Code of Conduct: http://python.org/psf/codeofconduct/