It's too late for this one, but I'd be open to allowing Unicode operators. It
is always poo-poo'd here but there are numerous input solutions:
- I enabled AltGr and a Compose key on my US keyboard, I can type symbols like
©, —, …, ø, ə, with two or three keystrokes, diacritics too: café.
I do this often.
- Use an ASCII notation, such as >= to ≥, \eAExpression or \eSetUnion, \uXXXX,
etc, that are rendered with a tool like "go fmt" or black.
- Word processors typically have a Symbols dialog for such occasions.
- There are simple websites such as http://unicode-search.net/ for finding
obscure symbols. Python has unicodedata, would be simple to wire it up.
-Mike
P.S. Ligatures are another solution from a different angle, perhaps your
favorite editor could show ← for :=, might need a custom font though.
On 2019-11-06 09:05, Martin Euredjian via Python-ideas wrote:
Thanks for your feedback. A few comments:
_______________________________________________
Python-ideas mailing list -- python-ideas@python.org
To unsubscribe send an email to python-ideas-le...@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/LG7HPLIYCWR7D3PC7ADZZG4JT3SXIMU3/
Code of Conduct: http://python.org/psf/codeofconduct/
