%
% Case 2 (x < 0): derp.
%
+\ifx\havemjoproofbycases\undefined
+\def\havemjoproofbycases{1}
+
% Used below to define pcases. The ``loadonly'' parameter prevents
% a very bad interaction with the beamer document class.
%
\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