> 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
