%
% 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}
%
\newlength{\singleblskip}
\setlength{\singleblskip}{
- \baselineskip / \real{
+ \baselineskip/\real{
\if\relax\detokenize{\baselinestretch}\relax
\baselinestretch%
\else
% 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}
\def\thiscase{#1}%
\item \hfill\par\vspace{\singleblskip}
}
+
+
+\fi