blob: e27fa255f9fc9c4f01ecdf7f4799db878fe38af0 (
plain) (
blame)
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
|
% vim:foldmarker=<<<,>>>
% <<< headers
\def\headers#1#2#3{\lhead{#1}\chead{#2}\rhead{#3}}
% >>>
% <<< Blackboard bold
\DeclareSymbolFont{AMSb}{U}{msb}{m}{n}
\DeclareMathSymbol{\N}{\mathbin}{AMSb}{"4E}
\DeclareMathSymbol{\Z}{\mathbin}{AMSb}{"5A}
\DeclareMathSymbol{\R}{\mathbin}{AMSb}{"52}
\DeclareMathSymbol{\Q}{\mathbin}{AMSb}{"51}
\DeclareMathSymbol{\I}{\mathbin}{AMSb}{"49}
\DeclareMathSymbol{\C}{\mathbin}{AMSb}{"43}
% >>>
% <<< jeff's algorithm/code stuff
% <<< algorithm environment
\def\begin@lgo{\begin{minipage}{1in}\begin{tabbing}
\quad\=\qquad\=\qquad\=\qquad\=\qquad\=\qquad\=\qquad\=\kill}
\def\end@lgo{\end{tabbing}\end{minipage}}
\newenvironment{algorithm}
{\begin{tabular}{|l|}\hline\begin@lgo}
{\end@lgo\\\hline\end{tabular}}
\def\beginc@de{\noindent\begin{center}\begin{minipage}{1in}\tt
\begin{tabbing}~~~~\=~~~~\=~~~~\=~~~~\=~~~~\=~~~~\=~~~~\=\kill}
\def\endc@de{\end{tabbing}\end{minipage}\end{center}}
\newenvironment{code}{\beginc@de}{\endc@de}
% >>>
% <<< algorithm definitions that handle highlighting and indentation
\def\algoname#1{\textbf{\textsc{#1}}}
\def\algotitle#1{\+\underline{\algoname{#1}}}
\def\cif{\+\textbf{if} }
\def\cthen{\textbf{then} }
\def\celse{\+\textbf{else} }
\def\creturn{\-\textbf{return} }
\def\cwhile{\+\textbf{while} }
\def\cdo{\textbf{do} }
\def\cfor{\+\textbf{for} }
\def\cbreak{\-\textbf{break} }
% >>>
% >>>
% <<< more jeff's stuff for easier grouping symbols
% <<< small grouping symbols
\def\floor#1{\lfloor #1 \rfloor}
\def\ceil#1{\lceil #1 \rceil}
\def\seq#1{\langle #1 \rangle}
\def\set#1{\{ #1 \}}
\def\abs#1{\mathopen| #1 \mathclose|} % use instead of $|x|$
\def\norm#1{\mathopen\| #1 \mathclose\|} % use instead of $\|x\|$
\def\indic#1{\big[#1\big]} % indicator variable; Iverson notation
% e.g., Kronecker delta = [x=0]
% >>>
% <<< large grouping symbols
\def\Floor#1{\left\lfloor #1 \right\rfloor}
\def\Ceil#1{\left\lceil #1 \right\rceil}
\def\Seq#1{\left\langle #1 \right\rangle}
\def\Set#1{\left\{ #1 \right\}}
\def\Abs#1{\left| #1 \right|}
\def\Norm#1{\left\| #1 \right\|}
\def\Paren#1{\left( #1 \right)} % need better macro name!
\def\Brack#1{\left[ #1 \right]} % need better macro name!
\def\Indic#1{\left[ #1 \right]} % indicator variable; Iverson notation
% >>>
% >>>
% <<< displaystyle operators (also from jeff)
\def\Frac#1#2{{\displaystyle\frac{#1}{#2}}}
\def\Sum{\sum\limits}
\def\Prod{\prod\limits}
\def\Union{\bigcup\limits}
\def\Inter{\bigcap\limits}
\def\Lor{\bigvee\limits}
\def\Land{\bigwedge\limits}
\def\Lim{\lim\limits}
\def\Max{\max\limits}
\def\Min{\min\limits}
% >>>
% <<< cs421 stuff
% <<< conversion symbols
\def\alphaconv{\hspace{0.7em}\alpha\hspace{-1.4em}\longrightarrow}
\def\betared{\hspace{0.7em}\beta\hspace{-1.4em}\longrightarrow}
\def\etared{\hspace{0.7em}\eta\hspace{-1.4em}\longrightarrow}
\def\l#1#2{\lambda #1.#2}
% >>>
% <<< prof gunter's macros for type inference
\def\type#1#2#3{#1\vdash #2:#3}
% >>>
% >>>
% <<< proof macros
\def\iff#1#2{\begin{itemize}\item[\em If:]#1\item[\em Only if:]#2\end{itemize}}
% >>>
% <<< other symbols
\def\nsubset{\hspace{0.4em}/\hspace{-0.9em}\subset}
% >>>
|
