From 71dc84ac39e0dc87daf64fe61d7523e33711dc34 Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Mon, 4 Nov 2019 09:12:21 -0500
Subject: [PATCH] mjo-set: adopt \powerset{} from mjo-common.

---
 examples.tex   |  5 ++---
 mjo-common.tex | 14 +++-----------
 mjo-set.tex    | 13 ++++++++++++-
 3 files changed, 17 insertions(+), 15 deletions(-)

diff --git a/examples.tex b/examples.tex
index af11de8..e11815e 100644
--- 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 2819bdc..2785d73 100644
--- 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 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
-- 
2.43.2