mjo-algebra.tex: fix glossary sorting of \variety

[mjotex.git] / mjo-proof_by_cases.tex

diff --git a/mjo-proof_by_cases.tex b/mjo-proof_by_cases.tex
index daf08a8ec22006892de0b4a81d2d2a365ef8c3a2..018e2e73cb4b5ab9bedddb38c02acdb2b1780369 100644 (file)
--- a/mjo-proof_by_cases.tex
+++ b/mjo-proof_by_cases.tex
@@ -8,9 +8,13 @@
 %
 % Case 2 (x < 0): derp.
 %
+\ifx\havemjoproofbycases\undefined
+\def\havemjoproofbycases{1}
 
-% Used below to define pcases.
-\usepackage{enumitem}
+
+% Used below to define pcases. The ``loadonly'' parameter prevents
+% a very bad interaction with the beamer document class.
+\usepackage[loadonly]{enumitem}
 
 % Needed to perform division in the definition of \singleblskip.
 \usepackage{calc}
@@ -25,7 +29,7 @@
 %
 \newlength{\singleblskip}
 \setlength{\singleblskip}{
-  \baselineskip / \real{
+  \baselineskip/\real{
       \if\relax\detokenize{\baselinestretch}\relax
         \baselinestretch%
       \else
@@ -41,10 +45,9 @@
 % another.
 \newlist{pcases}{enumerate}{1}
 \setlist[pcases]{
-  label=\textbf{Case~\arabic*}:~\protect\thiscase\textbf{.},
+  label=\textit{Case~\arabic*}:~\protect\thiscase\textit{.},
   ref=\arabic*,
   align=left,
-  leftmargin=0pt,
   listparindent=\parindent,
   parsep=\parskip,
   itemsep=\singleblskip}
@@ -58,3 +61,6 @@
   \def\thiscase{#1}%
   \item \hfill\par\vspace{\singleblskip}
 }
+
+
+\fi