Use "big" versions of operators in \binopmany consumers.

diff --git a/mjo-common.tex b/mjo-common.tex
index 1a8f6fe4ac45f7ce32fe64106ffa15ccc486addd..74a0fe508d22b44d82348ee767469272b7aa9f0d 100644 (file)
--- a/mjo-common.tex
+++ b/mjo-common.tex
@@ -5,6 +5,9 @@
 % Needed for \mathbb.
 \usepackage{amsfonts}
 
+% Needed for \bigtimes.
+\usepackage{mathtools}
+
 % Place the argument in matching left/right parntheses.
 \providecommand*{\of}[1]{ \left({#1}\right) }
 
@@ -112,7 +115,7 @@
              { {#1}_{#2}^{#3}{#4} }
 }
 
-\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} }
+\providecommand*{\intersectmany}[3]{ \binopmany{\bigcap}{#1}{#2}{#3} }
+\providecommand*{\cartprodmany}[3]{ \binopmany{\bigtimes}{#1}{#2}{#3} }
+\providecommand*{\directsummany}[3]{ \binopmany{\bigoplus}{#1}{#2}{#3} }
+\providecommand*{\unionmany}[3]{ \binopmany{\bigcup}{#1}{#2}{#3} }