mjo-misc: rename to mjo-set.

[mjotex.git] / examples.tex

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