mjo-common: utilize \mathpzc to finally define \powerset{}.

diff --git a/TODO b/TODO
index f2caa9e71638376b14d2c642bd1827e3a442ce3f..ddde006fe165722384576ff4a8a7563aab8740c8 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,7 +1,4 @@
 1. Move the set operations from mjo-common and mjo-misc into mjo-set.
 
-2. Add a \powerset command, once I decide whether to use \mathcal{P}
-   or 2^{X} for the notation.
-
-3. Having S^{n} or H^{n} reduce to simply "S" or "H" in the case where
+2. Having S^{n} or H^{n} reduce to simply "S" or "H" in the case where
    n=1 doesn't make sense.

diff --git a/examples.tex b/examples.tex
index e1f375fdc68d219d144010732030850d31cd5869..cd615de16cbab3fc8381aac6aeb4039d945f5601 100644 (file)
--- a/examples.tex
+++ b/examples.tex
@@ -112,6 +112,7 @@
     \begin{equation*}
       \directsummany{k=1}{\infty}{V_{k}} \ne \cartprodmany{k=1}{\infty}{V_{k}}.
     \end{equation*}
+    %
     Here are a few common tuple spaces that should not have a
     superscript when that superscript would be one: $\Nn[1]$,
     $\Zn[1]$, $\Qn[1]$, $\Rn[1]$, $\Cn[1]$. However, if the
@@ -130,8 +131,9 @@
     \begin{equation*}
       \unionmany{k=1}{\infty}{A_{k}} = \intersectmany{k=1}{\infty}{B_{k}}
     \end{equation*}
-
-    Finally, we have the four standard types of intervals in $\Rn[1]$,
+    %
+    The powerset of $X$ displays nicely, as $\powerset{X}$. Finally,
+    we have the four standard types of intervals in $\Rn[1]$,
     %
     \begin{align*}
       \intervaloo{a}{b} &= \setc{ x \in \Rn[1]}{ a < x < b },\\

diff --git a/mjo-common.tex b/mjo-common.tex
index 27c4c7b3f3d8ee8e81f03bab8f5df3afa6102e3d..a8d9aaa50372ecd54ab4d75ff806bb02ad5981ad 100644 (file)
--- 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}
@@ -200,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.