> On 21 May 2020, at 15:19, Joao S. O. Bueno <[email protected]> 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 -- [email protected]
To unsubscribe send an email to [email protected]
https://mail.python.org/mailman3/lists/python-ideas.python.org/
Message archived at
https://mail.python.org/archives/list/[email protected]/message/FU2MLRR363THHB4IRMQQ4F4DRNLV325Y/
Code of Conduct: http://python.org/psf/codeofconduct/
