From 9c9403dc88e808a5943ebb64328ef139def1e711 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <max@maximilian-kessler.de>
Date: Sat, 18 Sep 2021 19:02:32 +0200
Subject: [PATCH] provide operator for free product of groups

---
 math/mkessler-mathop.sty | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/math/mkessler-mathop.sty b/math/mkessler-mathop.sty
index f0d4b30..c3ac6e9 100644
--- a/math/mkessler-mathop.sty
+++ b/math/mkessler-mathop.sty
@@ -175,3 +175,5 @@
 \DeclarePairedDelimiter\norm{\lVert}{\rVert}
 \let\oldnorm\norm
 \def\norm{\@ifstar{\oldnorm}{\oldnorm*}}
+
+\DeclareMathOperator{\amalgprod}{\star}