Annotation of /branches/pure-cfg/doc/defs.tex

Parent Directory | Revision Log

---

Revision 22 - (view) (download) (as text)
Original Path: trunk/doc/defs.tex

1 :	jhr	16
2 :			\usepackage{times}
3 :			%-------------------------
4 :			% the following magic makes the tt font in math mode be the same as the
5 :			% normal tt font (i.e., Courier)
6 :			%
7 :			\SetMathAlphabet{\mathtt}{normal}{OT1}{pcr}{n}{n}
8 :			\SetMathAlphabet{\mathtt}{bold}{OT1}{pcr}{bx}{n}
9 :			%-------------------------
10 :
11 :			\usepackage{amsmath}
12 :
13 :			\newcommand{\NOTE}[1]{%
14 :			\par\leavevmode\noindent\textbf{[[ #1 ]]}\par\leavevmode\noindent}
15 :			\newcommand{\CUT}[1]{}
16 :			\newcommand{\SIDENOTE}[1]{%
17 :			\marginpar{\tiny\raggedright{#1}}}
18 :
19 :			\newcommand{\appref}[1]{Appendix~\ref{#1}}
20 :			\newcommand{\chapref}[1]{Chapter~\ref{#1}}
21 :			\newcommand{\secref}[1]{Section~\ref{#1}}
22 :			\newcommand{\tblref}[1]{Table~\ref{#1}}
23 :			\newcommand{\figref}[1]{Figure~\ref{#1}}
24 :			\newcommand{\listingref}[1]{Listing~\ref{#1}}
25 :			\newcommand{\pref}[1]{{page~\pageref{#1}}}
26 :			\newcommand{\defref}[1]{Definition~\ref{#1}}
27 :			\newcommand{\ruleref}[1]{Rule~\ref{#1}}
28 :
29 :			\newcommand{\eg}{{\em e.g.}}
30 :			\newcommand{\cf}{{\em cf.}}
31 :			\newcommand{\ie}{{\em i.e.}}
32 :			\newcommand{\etc}{{\em etc.\/}}
33 :			\newcommand{\naive}{na\"{\i}ve}
34 :			\newcommand{\ala}{{\em \`{a} la\/}}
35 :			\newcommand{\etal}{{\em et al.\/}}
36 :			\newcommand{\role}{r\^{o}le}
37 :			\newcommand{\vs}{{\em vs.}}
38 :			\newcommand{\forte}{{fort\'{e}\/}}
39 :	glk	22	\newcommand{\point}{\textbullet~}
40 :	jhr	16
41 :			%
42 :			% font commands
43 :			\providecommand{\bftt}[1]{{\ttfamily\bfseries{}#1}}
44 :			\providecommand{\ittt}[1]{{\ttfamily\itshape{}#1}}
45 :			\providecommand{\kw}[1]{\bftt{#1}}
46 :			\providecommand{\nt}[1]{{\rmfamily\itshape{#1}}}
47 :			\providecommand{\term}[1]{{\sffamily{#1}}}
48 :			\providecommand{\tyvar}[1]{\ittt{#1}}
49 :			%
50 :			% math-mode versions
51 :			\providecommand{\mkw}[1]{\ensuremath{\text{\kw{#1}}}}
52 :			\providecommand{\mnt}[1]{\ensuremath{\text{\nt{#1}}}}
53 :			\providecommand{\mterm}[1]{\ensuremath{\text{\term{#1}}}}
54 :			\providecommand{\mtyvar}[1]{\ensuremath{\text{\tyvar{#1}}}}
55 :
56 :			% braces (in math mode)
57 :			\newcommand{\LCB}{\mkw{\{}}
58 :			\newcommand{\RCB}{\mkw{\}}}
59 :
60 :			% underscore
61 :			\newcommand{\US}{\char`\_}
62 :
63 :			%%%%%
64 :			% Some common math notation
65 :			%
66 :
67 :			% double brackets
68 :			\newcommand{\LDB}{\ensuremath{[\mskip -3mu [}}
69 :			\newcommand{\RDB}{\ensuremath{]\mskip -3mu ]}}
70 :
71 :			\newcommand{\dom}{\ensuremath{\mathrm{dom}}}
72 :			\newcommand{\rng}{\ensuremath{\mathrm{rng}}}
73 :
74 :			% sets
75 :			\newcommand{\SET}[1]{\ensuremath{\{#1\}}}
76 :			\newcommand{\Fin}{\textrm{Fin}} % finite power set
77 :			\newcommand{\DISJOINT}[2]{\ensuremath{#1 \pitchfork #2}}
78 :			\newcommand{\finsubset}{\mathrel{\stackrel{\textrm{fin}}{\subset}}}
79 :
80 :			% finite maps
81 :			\newcommand{\finmap}{\mathrel{\stackrel{\textrm{fin}}{\rightarrow}}}
82 :			\newcommand{\MAP}[2]{\SET{#1 \mapsto #2}}
83 :			\newcommand{\EXTEND}[2]{\ensuremath{#1{\pm}#2}}
84 :			\newcommand{\EXTENDone}[3]{\EXTEND{#1}{\MAP{#2}{#3}}}
85 :			\newcommand{\SUBST}[3]{\ensuremath{#1[#2\mapsto{}#3]}}
86 :			\newcommand{\SUBSTTWO}[5]{\ensuremath{#1[#2\mapsto{}#3,#4\mapsto{}#5]}}
87 :
88 :			% inference rules
89 :			\newcommand{\infer}[2]{\frac{\;{#2}\;}{\;{#1}\;}}
90 :			%
91 :			% labeled inference rule:
92 :			% \INFER{name}{label}{conclusion}{assumption}
93 :			%
94 :			\newcommand{\INFER}[2]{%
95 :			\begin{equation*}
96 :			\infer{#1}{#2}
97 :			\end{equation*}}
98 :
99 :			% natural numbers
100 :			%
101 :			\newcommand{\Nat}{\mathcal{N}}
102 :
103 :			% Diderot types
104 :			%
105 :			\newcommand{\TYbool}{\mathbf{bool}}
106 :			\newcommand{\TYint}{\mathbf{int}}
107 :			\newcommand{\TYreal}{\mathbf{real}}
108 :	glk	21	\newcommand{\TYrawten}[3]{\mathbf{rawten}\langle{}#1,#2,#3\rangle{}}
109 :	jhr	16	\newcommand{\TYtensor}[2]{\mathbf{tensor}\langle{}#1,#2\rangle{}}
110 :			\newcommand{\TYmatrix}[2]{\mathbf{matrix}\langle{}#1,#2\rangle{}}
111 :			\newcommand{\TYimage}[2]{\mathbf{image}_{#1}\langle{}#2\rangle{}}
112 :			\newcommand{\TYkern}[1]{\mathbf{kern}^{#1}}
113 :			\newcommand{\TYfield}[3]{\mathbf{field}^{#1}_{#2}\langle{}#3\rangle{}}
114 :			\newcommand{\TYvec}[1]{\mathbf{vec}_{#1}}
115 :
116 :			% Diderot operators
117 :			%
118 :			\newcommand{\OPdiff}{\mathbf{D}}
119 :	glk	21	\newcommand{\OPconvolve}{\mathbf{convolve}}
120 :	jhr	16
121 :			% typing judgments
122 :			%
123 :			\newcommand{\HasTy}[2]{#1 : #2}
124 :			\newcommand{\UnopTy}[3]{\HasTy{#1}{#2 \rightarrow #3}}
125 :			\newcommand{\BinopTy}[4]{\HasTy{#1}{#2 \times #3 \rightarrow #4}}
126 :

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0