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

SCM Repository

[diderot] Annotation of /branches/vis12-cl/doc/defs.tex
ViewVC logotype

Annotation of /branches/vis12-cl/doc/defs.tex

Parent Directory Parent Directory | Revision Log Revision Log


Revision 16 - (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 :    
40 :     %
41 :     % font commands
42 :     \providecommand{\bftt}[1]{{\ttfamily\bfseries{}#1}}
43 :     \providecommand{\ittt}[1]{{\ttfamily\itshape{}#1}}
44 :     \providecommand{\kw}[1]{\bftt{#1}}
45 :     \providecommand{\nt}[1]{{\rmfamily\itshape{#1}}}
46 :     \providecommand{\term}[1]{{\sffamily{#1}}}
47 :     \providecommand{\tyvar}[1]{\ittt{#1}}
48 :     %
49 :     % math-mode versions
50 :     \providecommand{\mkw}[1]{\ensuremath{\text{\kw{#1}}}}
51 :     \providecommand{\mnt}[1]{\ensuremath{\text{\nt{#1}}}}
52 :     \providecommand{\mterm}[1]{\ensuremath{\text{\term{#1}}}}
53 :     \providecommand{\mtyvar}[1]{\ensuremath{\text{\tyvar{#1}}}}
54 :    
55 :     % braces (in math mode)
56 :     \newcommand{\LCB}{\mkw{\{}}
57 :     \newcommand{\RCB}{\mkw{\}}}
58 :    
59 :     % underscore
60 :     \newcommand{\US}{\char`\_}
61 :    
62 :     %%%%%
63 :     % Some common math notation
64 :     %
65 :    
66 :     % double brackets
67 :     \newcommand{\LDB}{\ensuremath{[\mskip -3mu [}}
68 :     \newcommand{\RDB}{\ensuremath{]\mskip -3mu ]}}
69 :    
70 :     \newcommand{\dom}{\ensuremath{\mathrm{dom}}}
71 :     \newcommand{\rng}{\ensuremath{\mathrm{rng}}}
72 :    
73 :     % sets
74 :     \newcommand{\SET}[1]{\ensuremath{\{#1\}}}
75 :     \newcommand{\Fin}{\textrm{Fin}} % finite power set
76 :     \newcommand{\DISJOINT}[2]{\ensuremath{#1 \pitchfork #2}}
77 :     \newcommand{\finsubset}{\mathrel{\stackrel{\textrm{fin}}{\subset}}}
78 :    
79 :     % finite maps
80 :     \newcommand{\finmap}{\mathrel{\stackrel{\textrm{fin}}{\rightarrow}}}
81 :     \newcommand{\MAP}[2]{\SET{#1 \mapsto #2}}
82 :     \newcommand{\EXTEND}[2]{\ensuremath{#1{\pm}#2}}
83 :     \newcommand{\EXTENDone}[3]{\EXTEND{#1}{\MAP{#2}{#3}}}
84 :     \newcommand{\SUBST}[3]{\ensuremath{#1[#2\mapsto{}#3]}}
85 :     \newcommand{\SUBSTTWO}[5]{\ensuremath{#1[#2\mapsto{}#3,#4\mapsto{}#5]}}
86 :    
87 :     % inference rules
88 :     \newcommand{\infer}[2]{\frac{\;{#2}\;}{\;{#1}\;}}
89 :     %
90 :     % labeled inference rule:
91 :     % \INFER{name}{label}{conclusion}{assumption}
92 :     %
93 :     \newcommand{\INFER}[2]{%
94 :     \begin{equation*}
95 :     \infer{#1}{#2}
96 :     \end{equation*}}
97 :    
98 :     % natural numbers
99 :     %
100 :     \newcommand{\Nat}{\mathcal{N}}
101 :    
102 :     % Diderot types
103 :     %
104 :     \newcommand{\TYbool}{\mathbf{bool}}
105 :     \newcommand{\TYint}{\mathbf{int}}
106 :     \newcommand{\TYreal}{\mathbf{real}}
107 :     \newcommand{\TYtensor}[2]{\mathbf{tensor}\langle{}#1,#2\rangle{}}
108 :     \newcommand{\TYmatrix}[2]{\mathbf{matrix}\langle{}#1,#2\rangle{}}
109 :     \newcommand{\TYimage}[2]{\mathbf{image}_{#1}\langle{}#2\rangle{}}
110 :     \newcommand{\TYkern}[1]{\mathbf{kern}^{#1}}
111 :     \newcommand{\TYfield}[3]{\mathbf{field}^{#1}_{#2}\langle{}#3\rangle{}}
112 :     \newcommand{\TYvec}[1]{\mathbf{vec}_{#1}}
113 :    
114 :     % Diderot operators
115 :     %
116 :     \newcommand{\OPdiff}{\mathbf{D}}
117 :     \newcommand{\OPsample}{\mathbf{sample}}
118 :    
119 :     % typing judgments
120 :     %
121 :     \newcommand{\HasTy}[2]{#1 : #2}
122 :     \newcommand{\UnopTy}[3]{\HasTy{#1}{#2 \rightarrow #3}}
123 :     \newcommand{\BinopTy}[4]{\HasTy{#1}{#2 \times #3 \rightarrow #4}}
124 :    

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