mjo-misc: rename to mjo-set.

diff --git a/GNUmakefile b/GNUmakefile
index a5686c5ef82060b6aa812096ee81451789164796..3f941fbeab7dd637502a99481e73c497dad57aeb 100644 (file)
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -28,7 +28,7 @@ BIBS = local-references.bib
 MJOTEX  = mjo-algebra.tex mjo-algorithm.tex mjo-arrow.tex mjo-calculus.tex
 MJOTEX += mjo-common.tex mjo-complex.tex mjo-cone.tex mjo-convex.tex
 MJOTEX += mjo-eja.tex mjo-font.tex mjo-linear_algebra.tex mjo-listing.tex
-MJOTEX += mjo-misc.tex mjo-proof_by_cases.tex mjo-theorem.tex
+MJOTEX += mjo-proof_by_cases.tex mjo-set.tex mjo-theorem.tex
 MJOTEX += mjo-theorem-star.tex mjo-topology.tex mjo.bst
 
 # Compile a list of raw source code listings (*.listing) and their

diff --git a/examples.tex b/examples.tex
index 0656165d2c7821f1f366cda489bf3dd21f4eaa54..af11de8284796dd1125b0ee8443cd9b1a9c617ca 100644 (file)
--- a/examples.tex
+++ b/examples.tex
@@ -262,11 +262,6 @@
     system to test them.
   \end{section}
 
-  \begin{section}{Miscellaneous}
-    The cardinality of the set $X \coloneqq \set{1,2,3}$ is $\card{X}
-    = 3$.
-  \end{section}
-
   \begin{section}{Proof by cases}
 
     \begin{proposition}
@@ -313,6 +308,11 @@
     \renewcommand{\baselinestretch}{1}
   \end{section}
 
+  \begin{section}{Set theory}
+    The cardinality of the set $X \coloneqq \set{1,2,3}$ is $\card{X}
+    = 3$.
+  \end{section}
+
   \begin{section}{Theorems}
     \begin{corollary}
       The

diff --git a/mjo-misc.tex b/mjo-set.tex
similarity index 87%
rename from mjo-misc.tex
rename to mjo-set.tex
index 24421457fab2d4a4bd474473b96bf470f221d351..6addd605537bcbb696e502347072613a25faa090 100644 (file)
--- a/mjo-misc.tex
+++ b/mjo-set.tex
@@ -1,8 +1,8 @@
 %
 % Things that fit absolutely nowhere else.
 %
-\ifx\havemjomisc\undefined
-\def\havemjomisc{1}
+\ifx\havemjoset\undefined
+\def\havemjoset{1}
 
 
 \ifx\operatorname\undefined

diff --git a/mjotex.sty b/mjotex.sty
index 43fdfd70617df94c6b2ae6a4199e236b96a1d284..f85f77939c0d709e61474f4629e78c8aedb8950e 100644 (file)
--- a/mjotex.sty
+++ b/mjotex.sty
@@ -10,8 +10,8 @@
 \input{mjo-font}
 \input{mjo-linear_algebra}
 \input{mjo-listing}
-\input{mjo-misc}
 \input{mjo-proof_by_cases}
+\input{mjo-set}
 \input{mjo-theorem}
 \input{mjo-theorem-star}
 \input{mjo-topology}