Correct misrepresentation of print (it uses str(), not `...` for
conversion). Hopefully I've not messed up the formatting.
diff --git a/Doc/lib/libstdtypes.tex b/Doc/lib/libstdtypes.tex
index 75d6e4b..925aac0 100644
--- a/Doc/lib/libstdtypes.tex
+++ b/Doc/lib/libstdtypes.tex
@@ -13,9 +13,11 @@
\indexii{built-in}{types}
Some operations are supported by several object types; in particular,
-all objects can be compared, tested for truth value, and converted to
-a string (with the \code{`\textrm{\ldots}`} notation). The latter
-conversion is implicitly used when an object is written by the
+practically all objects can be compared, tested for truth value,
+and converted to a string (with the \code{`\textrm{\ldots}`} notation,
+the equivalent \function{repr()} function, or the slightly different
+\function{str()} function). The latter
+function is implicitly used when an object is written by the
\keyword{print}\stindex{print} statement.
(Information on \ulink{\keyword{print} statement}{../ref/print.html}
and other language statements can be found in the