Date: Thu, 24 Apr 2025 18:15:01 +0200
> On 24 Apr 2025, at 18:00, Jan Schultke via Std-Proposals <std-proposals_at_[hidden]> wrote:
>
>> It might help readability, but how do I type it
>
> You google the name of the character you want to type, followed by
> "unicode", then open the first search result, copy the character to
> your clipboard, and paste it into your code. Simple as.
The English Wikipedia has some good articles, and the platform may have Unicode tables, and one can go to Unicode.org.
But that is mostly needed only to set text replacements up.
>
>> It might help readability, but how do I type it
>
> You google the name of the character you want to type, followed by
> "unicode", then open the first search result, copy the character to
> your clipboard, and paste it into your code. Simple as.
The English Wikipedia has some good articles, and the platform may have Unicode tables, and one can go to Unicode.org.
But that is mostly needed only to set text replacements up.
Received on 2025-04-24 16:15:16