mjo-set.tex

   1 %
   2 % Things that fit absolutely nowhere else.
   3 %
   4 \ifx\havemjoset\undefined
   5 \def\havemjoset{1}
   6
   7 \input{mjo-font} % amsfonts and \mathpzc
   8
   9 \ifx\operatorname\undefined
  10   \usepackage{amsopn}
  11 \fi
  12
  13 % The cardinality of a set. The |X| notation conflicts with the
  14 % absolute value, and the meaning of card(X) is clear at once, so we
  15 % prefer the latter.
  16 \newcommand*{\card}[1]{ \operatorname{card}\of{{#1}} }
  17
  18
  19 \newcommand*{\powerset}[1]{\mathpzc{P}\of{{#1}}}
  20 \ifdefined\newglossaryentry
  21   \newglossaryentry{powerset}{
  22     name={\ensuremath{\powerset{X}}},
  23     description={the ``powerset,'' or set of all subsets of $X$},
  24     sort=p
  25   }
  26 \fi
  27
  28
  29 \fi