> On 21 May 2020, at 15:19, Joao S. O. Bueno <jsbu...@python.org.br> wrote:
>
> That is, if you answered the question about
> which right arrow to use, asked above)
that’s an easy one, see the OP
In [1]: print("\u2192”)
→
for all the rest, I am sorry, all the arguments about people having trouble
inputing those characters are not relevant, it’s not as if using unicode
characters was mandatory
arguments about some people not seeing such code properly are of course much
more valid
but you seem to forget that using unicode characters is already possible in
strings, and identifiers even
so somebody else opened that box already … And if IDLE can’t do it, it’s a
problem already
I am convinced this will happen, one day or another, with or without Python,
only question is when, not if
_______________________________________________
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/FU2MLRR363THHB4IRMQQ4F4DRNLV325Y/
Code of Conduct: http://python.org/psf/codeofconduct/
