Re: [Groff] ASCII Minus Sign in man Pages

[Doug McIlroy]

Branden wrote

Ingo's proposal would not mandate that + and \- come from the special
font.

It also would not mandate that \(pl and \(mi come from the current font.


------

I was previously told that \(mi is the true minus sign. But the
true minus sign, at least in my mind, must come from the current
font, so that it comes out right wherever it occurs, even in a
bold headline like "Fairbanks shivers at -50".


I'll buy Branden's  first assertion, but if + and \- come from the
current font as they originally did, and \(pl and \(mi come
from the the current font per the previous paragraph, they
become redundant.

So I remain confused.

Doug