>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 [email protected] https://lists.nongnu.org/mailman/listinfo/nmh-workers
