X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo-common.tex;h=0fcc2aa64817a4705059d35bb79f5d0373e5e7b7;hb=4febc3ad82bc8ac73e660c484e105835feb1ed84;hp=2819bdc41d990e1ef05613554deb277c29ff06fb;hpb=fe30cc3cf8f9a88785d2899d00a727931377bb5d;p=mjotex.git diff --git a/mjo-common.tex b/mjo-common.tex index 2819bdc..0fcc2aa 100644 --- a/mjo-common.tex +++ b/mjo-common.tex @@ -4,11 +4,8 @@ \ifx\havemjocommon\undefined \def\havemjocommon{1} - -\input{mjo-font} % amsfonts and \mathpzc - -\ifx\bigtimes\undefined - \usepackage{mathtools} +\ifx\mathbb\undefined + \usepackage{amsfonts} \fi % Place the argument in matching left/right parentheses. @@ -47,12 +44,6 @@ % A seven-tuple of things. \newcommand*{\septuple}[7]{ \left({#1},{#2},{#3},{#4},{#5},{#6},{#7}\right) } -% The Cartesian product of two things. -\newcommand*{\cartprod}[2]{ {#1}\times{#2} } - -% The Cartesian product of three things. -\newcommand*{\cartprodthree}[3]{ \cartprod{{#1}}{\cartprod{{#2}}{{#3}}} } - % The direct sum of two things. \newcommand*{\directsum}[2]{ {#1}\oplus{#2} } @@ -138,22 +129,6 @@ \fi -% -% Basic set operations -% - -% The union of its two arguments. -\newcommand*{\union}[2]{ {#1}\cup{#2} } - -% A three-argument union. -\newcommand*{\unionthree}[3]{ \union{\union{#1}{#2}}{#3} } - -% The intersection of its two arguments. -\newcommand*{\intersect}[2]{ {#1}\cap{#2} } - -% A three-argument intersection. -\newcommand*{\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 @@ -167,19 +142,9 @@ { {#1}_{#2}^{#3}{#4} } } -\newcommand*{\intersectmany}[3]{ \binopmany{\bigcap}{#1}{#2}{#3} } -\newcommand*{\cartprodmany}[3]{ \binopmany{\bigtimes}{#1}{#2}{#3} } + \newcommand*{\directsummany}[3]{ \binopmany{\bigoplus}{#1}{#2}{#3} } -\newcommand*{\unionmany}[3]{ \binopmany{\bigcup}{#1}{#2}{#3} } -\newcommand*{\powerset}[1]{\mathpzc{P}\of{{#1}}} -\ifdefined\newglossaryentry - \newglossaryentry{powerset}{ - name={\ensuremath{\powerset{X}}}, - description={the ``powerset,'' or set of all subsets of $X$}, - sort=p - } -\fi % The four standard (UNLESS YOU'RE FRENCH) types of intervals along % the real line.