diff --git a/doc/src/sgml/func.sgml b/doc/src/sgml/func.sgml
index f971c7f0ee..053fbc5ef2 100644
--- a/doc/src/sgml/func.sgml
+++ b/doc/src/sgml/func.sgml
@@ -13140,24 +13140,6 @@ CREATE TYPE rainbow AS ENUM ('red', 'orange', 'yellow', 'green', 'blue', 'purple
        </para></entry>
       </row>
 
-      <row>
-       <entry role="func_table_entry"><para role="func_signature">
-        <type>tsvector</type> <literal>@@@</literal> <type>tsquery</type>
-        <returnvalue>boolean</returnvalue>
-       </para>
-       <para role="func_signature">
-        <type>tsquery</type> <literal>@@@</literal> <type>tsvector</type>
-        <returnvalue>boolean</returnvalue>
-       </para>
-       <para>
-        This is a deprecated synonym for <literal>@@</literal>.
-       </para>
-       <para>
-        <literal>to_tsvector('fat cats ate rats') @@@ to_tsquery('cat &amp; rat')</literal>
-        <returnvalue>t</returnvalue>
-       </para></entry>
-      </row>
-
       <row>
        <entry role="func_table_entry"><para role="func_signature">
         <type>tsvector</type> <literal>||</literal> <type>tsvector</type>
diff --git a/doc/src/sgml/gin.sgml b/doc/src/sgml/gin.sgml
index d68d12d515..be02966e77 100644
--- a/doc/src/sgml/gin.sgml
+++ b/doc/src/sgml/gin.sgml
@@ -129,9 +129,6 @@
       <entry morerows="1" valign="middle"><literal>tsvector_ops</literal></entry>
       <entry><literal>@@ (tsvector,tsquery)</literal></entry>
      </row>
-     <row>
-      <entry><literal>@@@ (tsvector,tsquery)</literal></entry>
-     </row>
     </tbody>
    </tgroup>
   </table>