Re: Rendering pi more nicely in PDF

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