[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: with HTML output, @minus{} is converted to a hyphen instead of a rea
|
From: |
Patrice Dumas |
|
Subject: |
Re: with HTML output, @minus{} is converted to a hyphen instead of a real minus character |
|
Date: |
Wed, 12 Oct 2022 11:11:53 +0200 |
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
Re: with HTML output, @minus{} is converted to a hyphen instead of a real minus character,
Patrice Dumas <=
Re: with HTML output, @minus{} is converted to a hyphen instead of a real minus character, Patrice Dumas, 2022/10/12
Re: with HTML output, @minus{} is converted to a hyphen instead of a real minus character, Gavin Smith, 2022/10/13