Hi, On Sun, Aug 28, 2022 at 03:26:28PM +0300, Valery Ushakov wrote: > 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 "^".
No strong opinion here - my test case earlier was "man csh" when LC_CTYPE=en_US.UTF-8 where \*(ua renders an actual error. Both ^ and \ha render a caret here, so no objection from my side to such a change. > 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). At least on macOS (and using pstopdf from there), \ha seems like a small improvement over ^ in that Preview now actually finds occurrences of ^ if you search for it. It doesn't highlight the carets but it now returns the pages with one on it (it doesn't find the pages only containing ones that come from a ^ in the source). Harold
