X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo-common.tex;h=f96528eac1acc710babe3ec790219d5babfab4bd;hb=049c836f042cd24d586e35b2d214b8ac00e2e215;hp=efa10a26045d9f199bd3bdb1f8c9f5ec97c1cb19;hpb=d84c704c13a2e30c232710801c5483059094dac3;p=mjotex.git

diff --git a/mjo-common.tex b/mjo-common.tex
index efa10a2..f96528e 100644
--- a/mjo-common.tex
+++ b/mjo-common.tex
@@ -71,3 +71,37 @@
 \providecommand*{\Cn}[1][n]{
   \mathbb{C}\if\detokenize{#1}\detokenize{1}{}\else^{#1}\fi
 }
+
+
+%
+% Basic set operations
+%
+
+% The union of its two arguments.
+\providecommand*{\union}[2]{ {#1} \cup {#2} }
+
+% A three-argument union.
+\providecommand*{\unionthree}[3]{ \union{\union{#1}{#2}}{#3} }
+
+% The intersection of its two arguments.
+\providecommand*{\intersect}[2]{ {#1} \cap {#2} }
+
+% A three-argument intersection.
+\providecommand*{\intersectthree}[3]{ \intersect{\intersect{#1}{#2}}{#3} }
+
+% An indexed arbitrary binary operation such as the union or
+% intersection of an infinite number of sets. The first argument is
+% the operator symbol to use, such as \cup for a union. The second
+% argument is the lower index, for example k=1. The third argument is
+% the upper index, such as \infty. Finally the fourth argument should
+% contain the things (e.g. indexed sets) to be operated on.
+\providecommand*{\binopmany}[4]{
+  \mathchoice
+  { \underset{#2}{\overset{#3}{#1}}{#4} }
+  { {#1}_{#2}^{#3}{#4} }
+  { {#1}_{#2}^{#3}{#4} }
+  { {#1}_{#2}^{#3}{#4} }
+}
+
+\providecommand*{\unionmany}[3]{ \binopmany{\cup}{#1}{#2}{#3} }
+\providecommand*{\intersectmany}[3]{ \binopmany{\cap}{#1}{#2}{#3} }