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