X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;ds=sidebyside;f=examples.tex;h=e11815ef7856b47f0dd5cb0e775c3272caeec427;hb=71dc84ac39e0dc87daf64fe61d7523e33711dc34;hp=0656165d2c7821f1f366cda489bf3dd21f4eaa54;hpb=fe30cc3cf8f9a88785d2899d00a727931377bb5d;p=mjotex.git

diff --git a/examples.tex b/examples.tex
index 0656165..e11815e 100644
--- a/examples.tex
+++ b/examples.tex
@@ -132,8 +132,7 @@
       \unionmany{k=1}{\infty}{A_{k}} = \intersectmany{k=1}{\infty}{B_{k}}
     \end{equation*}
     %
-    The powerset of $X$ displays nicely, as $\powerset{X}$. Finally,
-    we have the four standard types of intervals in $\Rn[1]$,
+    Finally, we have the four standard types of intervals in $\Rn[1]$,
     %
     \begin{align*}
       \intervaloo{a}{b} &= \setc{ x \in \Rn[1]}{ a < x < b },\\
@@ -262,11 +261,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 +307,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$, and its powerset is $\powerset{X}$.
+  \end{section}
+
   \begin{section}{Theorems}
     \begin{corollary}
       The