Re: [groff] improve a few terminal renderings of special characters

[Werner LEMBERG]

> some time ago, we already improved the terminal renderings of many
> characters, in particular mathematical ones.  Having another look
> at groff_char(7) and how it renders with groff versus mandoc, i
> just fixed some issues in mandoc, but for the following cases, i
> think it would be better to tweak groff:
> 
> Any OKs or objections?

LGTM, thanks.


    Werner