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/RBEZYYBQYQX6ZYF32I4OKJUZ7SW5Y6K5/
Code of Conduct: http://python.org/psf/codeofconduct/