From 2dac5ec377a12619d1e1f7d8e036dab13af101cb Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Fri, 31 Mar 2017 13:17:39 -0400
Subject: [PATCH] Use "big" versions of operators in \binopmany consumers.

---
 mjo-common.tex | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/mjo-common.tex b/mjo-common.tex
index 1a8f6fe..74a0fe5 100644
--- 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} }
-- 
2.44.2