Add \cartprodmany and \directsummany to mjo-common.

[mjotex.git] / mjo-common.tex

diff --git a/mjo-common.tex b/mjo-common.tex
index 1e3c69f6b780a7fb00f7c362910981366db3c876..1a8f6fe4ac45f7ce32fe64106ffa15ccc486addd 100644 (file)
--- a/mjo-common.tex
+++ b/mjo-common.tex
@@ -112,5 +112,7 @@
              { {#1}_{#2}^{#3}{#4} }
 }
 
-\providecommand*{\unionmany}[3]{ \binopmany{\cup}{#1}{#2}{#3} }
 \providecommand*{\intersectmany}[3]{ \binopmany{\cap}{#1}{#2}{#3} }
+\providecommand*{\cartprodmany}[3]{ \binopmany{\times}{#1}{#2}{#3} }
+\providecommand*{\directsummany}[3]{ \binopmany{\oplus}{#1}{#2}{#3} }
+\providecommand*{\unionmany}[3]{ \binopmany{\cup}{#1}{#2}{#3} }