summaryrefslogtreecommitdiff
path: root/doc/src/sgml/ref
diff options
context:
space:
mode:
authorTom Lane <tgl@sss.pgh.pa.us>2020-04-27 11:00:28 -0400
committerTom Lane <tgl@sss.pgh.pa.us>2020-04-27 11:00:28 -0400
commit5ac24755485a5c1cc1cef084f08706246ee4f66c (patch)
tree13638e411abdea3c8935bff2650986025bde7cda /doc/src/sgml/ref
parentd51f704fd8cbae03cd9b29fe103dd027d521ff04 (diff)
Doc: render &pi; more nicely in PDF output.
We need to select symbol font explicitly, or it comes out misaligned. Alexander Lakhin, Tom Lane Discussion: https://postgr.es/m/10598.1587928415@sss.pgh.pa.us
Diffstat (limited to 'doc/src/sgml/ref')
-rw-r--r--doc/src/sgml/ref/pgbench.sgml2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/src/sgml/ref/pgbench.sgml b/doc/src/sgml/ref/pgbench.sgml
index 58a2aa3bf20..c9a9f0e0e5f 100644
--- a/doc/src/sgml/ref/pgbench.sgml
+++ b/doc/src/sgml/ref/pgbench.sgml
@@ -1528,7 +1528,7 @@ SELECT 4 AS four \; SELECT 5 AS five \aset
<row>
<entry><literal><function>pi()</function></literal></entry>
<entry>double</entry>
- <entry>value of the constant PI</entry>
+ <entry>value of the constant <phrase role="symbol_font">&pi;</phrase></entry>
<entry><literal>pi()</literal></entry>
<entry><literal>3.14159265358979323846</literal></entry>
</row>