X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo-common.tex;h=0fcc2aa64817a4705059d35bb79f5d0373e5e7b7;hb=4febc3ad82bc8ac73e660c484e105835feb1ed84;hp=a8d9aaa50372ecd54ab4d75ff806bb02ad5981ad;hpb=123eb0365b7a38288f0cd80a0c70b203b8ff33fd;p=mjotex.git diff --git a/mjo-common.tex b/mjo-common.tex index a8d9aaa..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,48 +129,6 @@ \fi -% The space of real symmetric n-by-n matrices. -\newcommand*{\Sn}[1][n]{ - \mathcal{S}\if\detokenize{#1}\detokenize{1}{}\else^{#1}\fi -} - -\ifdefined\newglossaryentry - \newglossaryentry{Sn}{ - name={\ensuremath{\Sn}}, - description={the set of $n$-by-$n$ real symmetric matrices}, - sort=Sn - } -\fi - -% The space of complex Hermitian n-by-n matrices. -\newcommand*{\Hn}[1][n]{ - \mathcal{H}\if\detokenize{#1}\detokenize{1}{}\else^{#1}\fi -} - -\ifdefined\newglossaryentry - \newglossaryentry{Hn}{ - name={\ensuremath{\Hn}}, - description={the set of $n$-by-$n$ complex Hermitian matrices}, - sort=Hn - } -\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 @@ -193,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.