mjo-set: adopt \powerset{} from mjo-common.

[mjotex.git] / mjo-set.tex

diff --git a/mjo-set.tex b/mjo-set.tex
index 6addd605537bcbb696e502347072613a25faa090..23ea691b6654dc54200dcdeea4aa91ac65e029f2 100644 (file)
--- a/mjo-set.tex
+++ b/mjo-set.tex
@@ -4,6 +4,7 @@
 \ifx\havemjoset\undefined
 \def\havemjoset{1}
 
+\input{mjo-font} % amsfonts and \mathpzc
 
 \ifx\operatorname\undefined
   \usepackage{amsopn}
@@ -12,7 +13,17 @@
 % The cardinality of a set. The |X| notation conflicts with the
 % absolute value, and the meaning of card(X) is clear at once, so we
 % prefer the latter.
-\newcommand*{\card}[1]{ \operatorname{card} \of{{#1}} }
+\newcommand*{\card}[1]{ \operatorname{card}\of{{#1}} }
+
+
+\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
 
 
 \fi