Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Annotation of /trunk/doc/defs.tex
ViewVC logotype

Annotation of /trunk/doc/defs.tex

Parent Directory Parent Directory | Revision Log Revision Log


Revision 43 - (view) (download) (as text)

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 : jhr 43 \newcommand{\TYrawten}[2]{\mathbf{rawten}\langle{}#1,#2\rangle{}}
109 :     \newcommand{\TYtensor}[1]{\mathbf{tensor}\langle{}#1\rangle{}}
110 : jhr 16 \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 : jhr 43 \newcommand{\Seq}[1]{\vec{#1}}
117 :    
118 : jhr 16 % Diderot operators
119 :     %
120 :     \newcommand{\OPdiff}{\mathbf{D}}
121 : glk 21 \newcommand{\OPconvolve}{\mathbf{convolve}}
122 : jhr 16
123 :     % typing judgments
124 :     %
125 :     \newcommand{\HasTy}[2]{#1 : #2}
126 :     \newcommand{\UnopTy}[3]{\HasTy{#1}{#2 \rightarrow #3}}
127 :     \newcommand{\BinopTy}[4]{\HasTy{#1}{#2 \times #3 \rightarrow #4}}
128 :    

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