font that inserts commas in numbers Arthur A. Gleckler (11 May 2020 19:20 UTC)
Re: font that inserts commas in numbers Lassi Kortela (11 May 2020 20:23 UTC)

Re: font that inserts commas in numbers Lassi Kortela 11 May 2020 20:23 UTC

> I just learned of a fascinating project, Numderline, that creates fonts
> identical to existing ones except that commas are automatically inserted
> between every group of three digits:
>
>     https://thume.ca/numderline/
>
>     https://github.com/trishume/numderline
>
> So the string representation doesn't change at all, but the display is
> adjusted to include the commas.
>
> This is all based on a mechanism designed to allow special formatting of
> Arabic characters, among other things.
>
> Underscores in numbers are still a good idea, but this is an amazing
> complementary hack.

Thanks for tipping us off about this. Interesting hack that gives a
whole new meaning to underscores in numbers :)