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 <vinc...@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)
