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