X-Git-Url: http://gitweb.michael.orlitzky.com/?p=mjotex.git;a=blobdiff_plain;f=examples.tex;h=af11de8284796dd1125b0ee8443cd9b1a9c617ca;hp=0656165d2c7821f1f366cda489bf3dd21f4eaa54;hb=83458c3f65b80a7897ced0553804b38f4872fcb6;hpb=fe30cc3cf8f9a88785d2899d00a727931377bb5d

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