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

[mjotex.git] / mjo-common.tex

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