-
Notifications
You must be signed in to change notification settings - Fork 0
/
proof-helpers.tex
114 lines (104 loc) · 2.91 KB
/
proof-helpers.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
\RequirePackage{adjustbox}
% http://tex.stackexchange.com/questions/44933
\newcounter{myequation}
\makeatletter
\@addtoreset{equation}{myequation}
\makeatother
% http://tex.stackexchange.com/questions/82535
\newenvironment{proofalign}{\par\nobreak\small\noindent\flalign}{\endflalign}
\newcommand*{\proseDescription}{\paragraph{Prose description.}}
\newcommand*{\paragraphCase}[1]{\paragraph{\uline{#1}}}
\newcommand*{\absurd}[1]{\Absurd{\uline{#1}}}
\newcommand*{\Absurd}[1]{\textcolor{red}{#1}}
\newcommand*{\contradiction}{\Absurd{\bot}}
\newcommand*{\qedLocal}{\text{\ding{234}}\;}
\setlength{\ULdepth}{0.25em}
\newcommand*{\interCaseZero}[1]{%
& \textbf{\emph{Case}}\ \uline{#1}.& %
\\[0.25em]%
}
\newcommand*{\interCaseOne}[1]{%
& \indent \textbf{\emph{Case}}\ \uline{#1}.& %
\\[0.25em]%
}
\newcommand*{\interCaseTwo}[1]{%
& \indent\indent \textbf{\emph{Case}}\ \uline{#1}.& %
\\[0.25em]%
}
\newcommand*{\interSubcaseZero}[1]{%
& \textbf{$\sqbullet$}\ \uline{#1}.& %
\\[0.25em]%
}
\newcommand*{\interSubcaseOne}[1]{%
& \indent \textbf{$\sqbullet$}\ \uline{#1}.& %
\\[0.25em]%
}
\newcommand*{\interSubcaseTwo}[1]{%
& \indent\indent \textbf{$\sqbullet$}\ \uline{#1}.& %
\\[0.25em]%
}
\newcommand*{\interSubcaseThree}[1]{%
& \indent\indent\indent \textbf{$\sqbullet$}\ \uline{#1}.& %
\\[0.25em]%
}
\newcommand*{\interSubcaseFour}[1]{%
& \indent\indent\indent\indent \textbf{$\sqbullet$}\ \uline{#1}.& %
\\[0.25em]%
}
\newcommand*{\interSubcaseFive}[1]{%
& \indent\indent\indent\indent\indent \textbf{$\sqbullet$}\ \uline{#1}.& %
\\[0.25em]%
}
\newcommand*{\interSubcaseSix}[1]{%
& \indent\indent\indent\indent\indent\indent \textbf{$\sqbullet$}\ \uline{#1}.& %
\\[0.25em]%
}
\newcommand*{\interSubcaseSeven}[1]{%
& \indent\indent\indent\indent\indent\indent\indent \textbf{$\sqbullet$}\ \uline{#1}.& %
\\[0.25em]%
}
\newcommand*{\introCaseDerivationZero}[2]{%
& \textbf{\emph{Case}}\ %
\begin{adjustbox}{varwidth=#1}%
#2
\end{adjustbox}%
}
\newcommand*{\introCaseZero}[1]{%
& \textbf{\emph{Case}}\ \uline{#1}.\;%
}
\newcommand*{\introSubcaseZero}[1]{%
& \textbf{$\sqbullet$}\ \uline{#1}.\;%
}
\newcommand*{\introSubcaseOne}[1]{%
& \indent \textbf{$\sqbullet$}\ \uline{#1}.\;%
}
\newcommand*{\introSubcaseTwo}[1]{%
& \indent\indent \textbf{$\sqbullet$}\ \uline{#1}.\;%
}
\newcommand*{\introSubcaseThree}[1]{%
& \indent\indent\indent \textbf{$\sqbullet$}\ \uline{#1}.\;%
}
\newcommand*{\introSubcaseFour}[1]{%
& \indent\indent\indent\indent \textbf{$\sqbullet$}\ \uline{#1}.\;%
}
\newcommand*{\introSubcaseFive}[1]{%
& \indent\indent\indent\indent\indent \textbf{$\sqbullet$}\ \uline{#1}.\;%
}
% define \derivationWidth as a proportion of textwidth
\newcommand*{\caseDerivation}[2]{%
\textbf{\emph{Case}}\ %
\begin{adjustbox}{varwidth=#1}%
#2
\end{adjustbox}%
}
\newcommand*{\subcaseDerivation}[2]{%
\textbf{\emph{Subcase}}\ %
\begin{adjustbox}{varwidth=#1}%
#2
\end{adjustbox}%
}
\newcommand*{\derivation}[2]{%
\begin{adjustbox}{varwidth=#1}%
#2
\end{adjustbox}%
}