It is perhaps worth noting that \- is not an "escaped hyphen" it is a minus
sign (which is wider, and typically thicker and positioned higher, than a
hyphen).
FYI, I thought we had discussed this previously, and we had (a bit).
https://lists.gnu.org/archive/html/nmh-workers/2013-02/msg00176.html
FWIW, I have heard non-native English speakers call this a "minus". My
takeaway from that previous discussion was that \- was appropriate for
Unix options. Quoting Ralph from back then:
So use \- in the man page where you really mean the key next to 0 and it
should come out as usable on a terminal but still looking nice in a PDF.
(Proof-reading of man pages should always vet the Postscript/PDF
version.)
I'm personally neutral on what should be done there, but it would be nice
to make a decision, stick with it, and document it.
--Ken
_______________________________________________
Nmh-workers mailing list
Nmh-workers(_at_)nongnu(_dot_)org
https://lists.nongnu.org/mailman/listinfo/nmh-workers