On Wed, Oct 12, 2022 at 01:13:07AM +0200, Vincent Lefevre wrote:
> With Texinfo 6.8 and HTML output, @minus{} is converted to a hyphen
> instead of a real minus character (U+2212 MINUS SIGN).It is actually not clear to me why an ASCII - is output in the default case, and not −. Maybe it was for compatibility with the US-ASCII default encoding? This could be changed now the UTF-8 is the default encoding. Opinions? -- Pat
