From e0e420f3c1b0c53034fecf5bf05719f2505b0dc4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <git@maximilian-kessler.de>
Date: Mon, 17 Jan 2022 12:15:32 +0100
Subject: [PATCH] add texnote

---
 doc/environments/groupthm/groupthm.tex | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/doc/environments/groupthm/groupthm.tex b/doc/environments/groupthm/groupthm.tex
index 84a6f2a..e1ce07f 100644
--- a/doc/environments/groupthm/groupthm.tex
+++ b/doc/environments/groupthm/groupthm.tex
@@ -252,6 +252,15 @@ of the \meta{theorem family}, which then controls the membership in these groups
 
   \end{description}
 
+  \begin{texnote}
+    The \meta{relation} is first stripped,
+    then checked if it matches either \kw{higher} or \kw{lower}
+    and in this case replaced by the corresponding \pkg{lthooks} variant
+    of the relation.
+    The rest is passed as is to \pkg{lthooks} and thus subject to the usual
+    normalization process of \pkg{lthooks}.
+  \end{texnote}
+
 \end{function}
 
 %\section{\LaTeX3 interface}