On 2020-04-26 21:13, Tom Lane wrote:
> "π" renders poorly in our PDF docs: as shown in the attached
> screenshot, it doesn't line up on the baseline. I realized that
> this is the same problem I'd run into recently with right-arrow,
> and it can be solved in the same way, namely we have to specify
> use of the symbol font explicitly. So attached is a proposed
> patch to fix it.
The real problem here is that the default font (Times or Times New
Roman) embedded in PDF readers doesn't have these off-the-beaten-path
glyphs. I'm surprised you see anything at all. The fix is to use a
different font with more glyphs. I looked into that some time ago
because this also effects the contributors list in the release notes,
which has to be dumbed down because of this.
To use a different font, you have to (a) pick one, and (b) install it
locally when you build the PDFs.
My proposal is to use the DejaVu fonts, which are open source and easily
available for common operating systems. (Arguably, they also give the
documentation a slightly fresher look.)
The attached patch implements this. You just have to install the fonts
somehow. Red Hat and Debian should have packages for this. We should
write instructions for this in any case.
(With this you can undo the other patches discussed here and just write
π and it should look correctly.)
--
Peter Eisentraut http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services