U+002D hyphen-minus is like U+2212 minus, which makes perfect sense for a coding font where hyphen-minus usually does mean minus. But I think U+2010 hyphen should not be like minus, but should be rendered like a dash by default, not just in the stylistic set with alternatives.
U+002D hyphen-minus is like U+2212 minus, which makes perfect sense for a coding font where hyphen-minus usually does mean minus. But I think U+2010 hyphen should not be like minus, but should be rendered like a dash by default, not just in the stylistic set with alternatives.