mjo-proof_by_cases.tex

   1 %
   2 % A proof-by-cases environment. This gives you a nicely-indented list
   3 % of cases for use in proofs.
   4 %
   5 % Example:
   6 %
   7 % Case 1 (x >= 0): herp.
   8 %
   9 % Case 2 (x < 0): derp.
  10 %
  11
  12 % Used below to define pcases.
  13 \usepackage{enumitem}
  14
  15 % Using the enumitem package, we define a new type of list, called
  16 % ``pcases'' (proof by cases).
  17 \newlist{pcases}{enumerate}{1}
  18 \setlist[pcases]{
  19   label=\textbf{Case~\arabic*}~(\protect\thiscase)\textbf{:},
  20   ref=\arabic*,
  21   align=left,
  22   leftmargin=\parindent
  23 }
  24 \newcommand{\case}[1][]{
  25   \def\thiscase{#1}%
  26   \item
  27 }