diff --git a/doc/src/sgml/datatype.sgml b/doc/src/sgml/datatype.sgml
index 66aef15608..edb0384694 100644
--- a/doc/src/sgml/datatype.sgml
+++ b/doc/src/sgml/datatype.sgml
@@ -1442,6 +1442,9 @@ SELECT E'\\xDEADBEEF';
    <indexterm zone="datatype-datetime">
     <primary>timestamp</primary>
    </indexterm>
+   <indexterm zone="datatype-datetime">
+    <primary>timestamptz</primary>
+   </indexterm>
    <indexterm zone="datatype-datetime">
     <primary>timestamp with time zone</primary>
    </indexterm>
@@ -1535,7 +1538,9 @@ SELECT E'\\xDEADBEEF';
      be equivalent to <type>timestamp without time
      zone</type>, and <productname>PostgreSQL</productname> honors that
      behavior.  (Releases prior to 7.3 treated it as <type>timestamp
-     with time zone</type>.)
+     with time zone</type>.)  <type>timestamptz</type> is taken as an
+     abbreviation for <type>timestamp with time zone</type>; this is a
+     <productname>PostgreSQL</productname> extension.
     </para>
    </note>