From e08cd7a4e9fb5d6492e8a611040dd562bdddf6cb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Chapoton?= <chapoton@unistra.fr>
Date: Thu, 8 Sep 2022 09:17:10 +0200
Subject: [PATCH] tweak doc

---
 src/sage/categories/monoids.py | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/sage/categories/monoids.py b/src/sage/categories/monoids.py
index 33229d27390..541e867074f 100644
--- a/src/sage/categories/monoids.py
+++ b/src/sage/categories/monoids.py
@@ -374,15 +374,15 @@ def inverse(self):
             """
             Return the inverse of ``self``.
 
-            This is an alias for inversion, defined in ``__invert__``.
-
-            Element classes should implement ``__invert__`` only.
+            This is an alias for inversion, which can also be invoked
+            by ``~x`` for an element ``x``.
 
             EXAMPLES::
 
                 sage: AA(sqrt(~2)).inverse()
                 1.414213562373095?
             """
+            # Nota Bene: Element classes should implement ``__invert__`` only.
             return self.__invert__()
 
     class Commutative(CategoryWithAxiom):