> >     At the same time, we could say that they should revert to `-'
> >     instead of `\-' which is easier to remember, and which gives
> >     better appearance in the manpage source files.
>
> No, you cannot, since using \- is not an advice that has been
> introduced by you (even though you may have advised it). Proper
> manual pages have used \- since Unix 7th edition at least.
> Moreover, they have often used regular or bold font for command line
> examples.

OK.

> I would recommend to map \- to U+002D for all output devices that
> use ASCII codes.

Hmm.  For man pages, I agree.  The same probably for the `traditional'
macro packages, this is, -me, -ms, and -mm, but I'm not sure.  The
main question is, however, whether we should do that in general.

Tricky, tricky.


    Werner