Re: CVS commit: src

[Valery Ushakov <uwe%stderr.spb.ru@localhost>]

On Sun, Aug 28, 2022 at 10:48:17 +0000, Harold Gutch wrote:

> Change back various occurrences of \*[Le], \*[Ge] (less/greater equal)
> and \*(ua (upwards arrow) to literal "<=", ">=" and "^" whenever
> appropriate (e.g., in code examples).

Thanks.  Using your commit as a pretext (and in no way intended as
censure) ...

I wonder if we should switch to consistently use \(ha (a groff
extension also understood by heirloom) for ascii circumflex.  Troff
turns plain ^ into circumflex accent which is visually very small and
you cannot find it, obviously, when you search pdf output for "^".

Check out e.g.

  groff -Tps -mandoc csh.1 > csh.ps && ps2pdf csh.ps csh.pdf

(that postscript output has a lot of other problems, b/c examples are
not in monospaced font, etc, which makes the ^ size problem even worse
visually).

-uwe