> 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 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
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
