Hacker News new | ask | show | jobs
by l_h 696 days ago
You can choose which one you want when you download the font package. The "7" character is also available in two different glyphs.
1 comments
zamadatix 696 days ago
Ah that makes some sense. Thanks!
link