Sounds like a great workflow!

On Thu, Apr 24, 2025 at 11:01 Jan Schultke <janschultke_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.
>