Re: with HTML output, @minus{} is converted to a hyphen instead of a real minus character

2022-10-11 Thread Werner LEMBERG
> With Texinfo 6.8 and HTML output, @minus{} is converted to a hyphen > instead of a real minus character (U+2212 MINUS SIGN). I think this is the right action for HTML. The main reason, AFAICS, is to have working copy and paste. In most cases, stuff like '-1' must be input with a normal hyphe

with HTML output, @minus{} is converted to a hyphen instead of a real minus character

2022-10-11 Thread Vincent Lefevre
With Texinfo 6.8 and HTML output, @minus{} is converted to a hyphen instead of a real minus character (U+2212 MINUS SIGN). The Texinfo 6.8 manual says: 11.8.9 '@minus' (-): Inserting a Minus Sign --- Use the '@minus{}' command to generate a minus sign. In

behavior of @math with HTML output

2022-10-11 Thread Vincent Lefevre
The Texinfo manual says The '@math' command has no special effect on the Info output or (by default) the HTML output, merely outputting the contents verbatim. However, as said later, the contents are emphasized (with ). So the description is inconsistent. Moreover, using is incorrect because