X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo-common.tex;h=a8d9aaa50372ecd54ab4d75ff806bb02ad5981ad;hb=123eb0365b7a38288f0cd80a0c70b203b8ff33fd;hp=e74648416d8a02bb7128c7f50275daecb5e7d3a8;hpb=e799531ea384c819fc849d2d512062f989453f04;p=mjotex.git diff --git a/mjo-common.tex b/mjo-common.tex index e746484..a8d9aaa 100644 --- a/mjo-common.tex +++ b/mjo-common.tex @@ -5,9 +5,7 @@ \def\havemjocommon{1} -\ifx\mathbb\undefined - \usepackage{amsfonts} -\fi +\input{mjo-font} % amsfonts and \mathpzc \ifx\bigtimes\undefined \usepackage{mathtools} @@ -37,6 +35,18 @@ % A triple of things. \newcommand*{\triple}[3]{ \left({#1},{#2},{#3}\right) } +% A four-tuple of things. +\newcommand*{\quadruple}[4]{ \left({#1},{#2},{#3},{#4}\right) } + +% A five-tuple of things. +\newcommand*{\quintuple}[5]{ \left({#1},{#2},{#3},{#4},{#5}\right) } + +% A six-tuple of things. +\newcommand*{\sextuple}[6]{ \left({#1},{#2},{#3},{#4},{#5},{#6}\right) } + +% 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} } @@ -188,6 +198,14 @@ \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.