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

diff --git a/examples.tex b/examples.tex
index af11de8284796dd1125b0ee8443cd9b1a9c617ca..e11815ef7856b47f0dd5cb0e775c3272caeec427 100644 (file)
--- a/examples.tex
+++ b/examples.tex
@@ -132,8 +132,7 @@
       \unionmany{k=1}{\infty}{A_{k}} = \intersectmany{k=1}{\infty}{B_{k}}
     \end{equation*}
     %
-    The powerset of $X$ displays nicely, as $\powerset{X}$. Finally,
-    we have the four standard types of intervals in $\Rn[1]$,
+    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 },\\
@@ -310,7 +309,7 @@
 
   \begin{section}{Set theory}
     The cardinality of the set $X \coloneqq \set{1,2,3}$ is $\card{X}
-    = 3$.
+    = 3$, and its powerset is $\powerset{X}$.
   \end{section}
 
   \begin{section}{Theorems}

diff --git a/mjo-common.tex b/mjo-common.tex
index 2819bdc41d990e1ef05613554deb277c29ff06fb..2785d73d8964f95c7fb9a13785b724252e7f6892 100644 (file)
--- a/mjo-common.tex
+++ b/mjo-common.tex
@@ -4,8 +4,9 @@
 \ifx\havemjocommon\undefined
 \def\havemjocommon{1}
 
-
-\input{mjo-font} % amsfonts and \mathpzc
+\ifx\mathbb\undefined
+  \usepackage{amsfonts}
+\fi
 
 \ifx\bigtimes\undefined
   \usepackage{mathtools}
@@ -172,15 +173,6 @@
 \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.
 \newcommand*{\intervaloo}[2]{ \left({#1},{#2}\right) } % open-open

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