X-Git-Url: http://gitweb.michael.orlitzky.com/?p=mjotex.git;a=blobdiff_plain;f=mjo-set.tex;fp=mjo-set.tex;h=23ea691b6654dc54200dcdeea4aa91ac65e029f2;hp=6addd605537bcbb696e502347072613a25faa090;hb=71dc84ac39e0dc87daf64fe61d7523e33711dc34;hpb=83458c3f65b80a7897ced0553804b38f4872fcb6

diff --git a/mjo-set.tex b/mjo-set.tex
index 6addd60..23ea691 100644
--- 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