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

[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 a fixed-width
font, this is a single hyphen, but in a proportional font, the symbol is
the customary length for a minus sign--a little longer than a hyphen,
shorter than an em-dash:
[...]

In the tp/Texinfo/Convert/HTML.pm code, I can see a change by
commit 9190ec13c30:

+my %special_list_bullet_css_string_no_arg_command = (
+# tried to use HYPHEN BULLET \2043 for use as in a bullet list, but, at least
+# with my test of firefox the result is very different from a bullet.
+# hyphen minus or hyphen \2010 are even smaller than hyphen bullet.
+# Use the Unicode codepoint used normally is for a mathematical minus \2212
+# even though it is too large, but the others are too short...
+# (which is actually the default, but this could change).
+  #'minus' => '-',
+  #'minus' => '\2010 ',
+  'minus' => '\2212 ',
+);
[...]

but is it specific to lists as described or does this solve the
more general problem?

-- 
Vincent Lefèvre <vincent@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)