I would like to comment that the graphical presentation, at least in IDEs/where the font can be controlled, can be achieved using fonts:

https://stackoverflow.com/questions/41774046/enabling-intellijs-fancy-%E2%89%A0-not-equal-to-operator

On Sun, 17 May 2020 at 13:26, Thierry Parmentelat <thierry.parmentelat@inria.fr> wrote:
well it’s all in the title

the specific character that I am referring to is this one

In [1]: print("\u2192”)


https://unicode-table.com/en/2192/

——

just curious about how people would feel about taking better advantage of non-ascii characters when that seems to make sense


fyi here’s how both options appear in a markdown-based website



thanks !
_______________________________________________
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/AWXLKPUXSWUXEHMI3FCIJUK25IBPQMGT/
Code of Conduct: http://python.org/psf/codeofconduct/