From 83458c3f65b80a7897ced0553804b38f4872fcb6 Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Mon, 4 Nov 2019 09:09:31 -0500
Subject: [PATCH] mjo-misc: rename to mjo-set.
---
GNUmakefile | 2 +-
examples.tex | 10 +++++-----
mjo-misc.tex => mjo-set.tex | 4 ++--
mjotex.sty | 2 +-
4 files changed, 9 insertions(+), 9 deletions(-)
rename mjo-misc.tex => mjo-set.tex (87%)
diff --git a/GNUmakefile b/GNUmakefile
index a5686c5..3f941fb 100644
--- 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 0656165..af11de8 100644
--- 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 2442145..6addd60 100644
--- 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 43fdfd7..f85f779 100644
--- 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}
--
2.45.3