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
