From: Michael Orlitzky <michael@orlitzky.com>
Date: Fri, 31 Mar 2017 17:17:39 +0000 (-0400)
Subject: Use "big" versions of operators in \binopmany consumers.
X-Git-Tag: phd-dissertation-submitted
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=3f5746159ce3efa2f19db5aa86fece90b7959377;p=mjotex.git

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

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} }