X-Git-Url: http://gitweb.michael.orlitzky.com/?p=mjotex.git;a=blobdiff_plain;f=mjo-proof_by_cases.tex;fp=mjo-proof_by_cases.tex;h=7dbe91c72db856f82a137d449c6ca9490e2753a7;hp=0000000000000000000000000000000000000000;hb=05d580bd8940274b3d3a87a364ba649dff2cf53d;hpb=3fe36343ebbb3d46f905b6daf2cc10be38bee503

diff --git a/mjo-proof_by_cases.tex b/mjo-proof_by_cases.tex
new file mode 100644
index 0000000..7dbe91c
--- /dev/null
+++ b/mjo-proof_by_cases.tex
@@ -0,0 +1,27 @@
+%
+% A proof-by-cases environment. This gives you a nicely-indented list
+% of cases for use in proofs.
+%
+% Example:
+%
+% Case 1 (x >= 0): herp.
+%
+% Case 2 (x < 0): derp.
+%
+
+% Used below to define pcases.
+\usepackage{enumitem}
+
+% Using the enumitem package, we define a new type of list, called
+% ``pcases'' (proof by cases).
+\newlist{pcases}{enumerate}{1}
+\setlist[pcases]{
+  label=\textbf{Case~\arabic*}~(\protect\thiscase)\textbf{:},
+  ref=\arabic*,
+  align=left,
+  leftmargin=\parindent
+}
+\newcommand{\case}[1][]{
+  \def\thiscase{#1}%
+  \item
+}