provide operator for free product of groups

2021-09-18 19:02:32 +02:00 · 2021-09-18 19:02:32 +02:00 · 9c9403dc88
commit 9c9403dc88
parent 6ba6790f27
1 changed files with 2 additions and 0 deletions
--- 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}