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

SCM Repository

[diderot] Diff of /branches/pure-cfg/doc/report/defs.tex
ViewVC logotype

Diff of /branches/pure-cfg/doc/report/defs.tex

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 380, Tue Oct 5 20:38:05 2010 UTC revision 473, Thu Nov 4 15:34:51 2010 UTC
# Line 107  Line 107 
107  \newcommand{\BS}{\sym{\char`\\}}  \newcommand{\BS}{\sym{\char`\\}}
108  \newcommand{\US}{\sym{\char`\_}}  \newcommand{\US}{\sym{\char`\_}}
109    
 % double brackets  
 \newcommand{\LDB}{\ensuremath{[\mskip -3mu [}}  
 \newcommand{\RDB}{\ensuremath{]\mskip -3mu ]}}  
   
110  % example code  % example code
111  %BEGIN LATEX  %BEGIN LATEX
112  \newenvironment{EXAMPLE}{\begin{quote}\begin{lstlisting}}{\end{lstlisting}\end{quote}}  \newenvironment{EXAMPLE}{\begin{quote}\begin{lstlisting}}{\end{lstlisting}\end{quote}}
# Line 118  Line 114 
114  %HEVEA \newenvironment{EXAMPLE}{\begin{alltt}}{\end{alltt}}  %HEVEA \newenvironment{EXAMPLE}{\begin{alltt}}{\end{alltt}}
115  %HEVEA \usepackage{alltt}  %HEVEA \usepackage{alltt}
116    
117    %%%%%
118    % Some common math notation
119    %
120    
121    % double brackets
122    \newcommand{\LDB}{\ensuremath{[\mskip -3mu [}}
123    \newcommand{\RDB}{\ensuremath{]\mskip -3mu ]}}
124    
125    \newcommand{\dom}{\ensuremath{\mathrm{dom}}}
126    \newcommand{\rng}{\ensuremath{\mathrm{rng}}}
127    
128    % sets
129    \newcommand{\SET}[1]{\ensuremath{\{#1\}}}
130    \newcommand{\Fin}{\textrm{Fin}}     % finite power set
131    \newcommand{\DISJOINT}[2]{\ensuremath{#1 \pitchfork #2}}
132    \newcommand{\finsubset}{\mathrel{\stackrel{\textrm{fin}}{\subset}}}
133    
134    % finite maps
135    \newcommand{\finmap}{\mathrel{\stackrel{\textrm{fin}}{\rightarrow}}}
136    \newcommand{\MAP}[2]{\SET{#1 \mapsto #2}}
137    \newcommand{\EXTEND}[2]{\ensuremath{#1{\pm}#2}}
138    \newcommand{\EXTENDone}[3]{\EXTEND{#1}{\MAP{#2}{#3}}}
139    \newcommand{\SUBST}[3]{\ensuremath{#1[#2\mapsto{}#3]}}
140    \newcommand{\SUBSTTWO}[5]{\ensuremath{#1[#2\mapsto{}#3,#4\mapsto{}#5]}}
141    
142    % typing judgments
143    %
144    \newcommand{\HasTy}[3]{#1 \vdash #2 : #3}
145    \newcommand{\UnopTy}[4]{\HasTy{#1}{#2}{#3 \rightarrow #4}}
146    \newcommand{\BinopTy}[5]{\HasTy{#1}{#2}{#3 \times #4 \rightarrow #5}}
147    
148    % inference rules
149    \newcommand{\infer}[2]{\frac{\;{#2}\;}{\;{#1}\;}}
150    %
151    % labeled inference rule:
152    %   \INFER{name}{label}{conclusion}{assumption}
153    %
154    \newcommand{\INFER}[2]{%
155      \begin{equation*}
156        \infer{#1}{#2}
157      \end{equation*}}
158    
159    % natural numbers
160    %
161    \newcommand{\Nat}{\mathcal{N}}
162    
163    % environments for type checking
164    %
165    \newcommand{\ENV}{\Gamma}
166    
167    % Diderot types
168    %
169    \newcommand{\TYconst}{\iota}
170    \newcommand{\TYbool}{\mathbf{bool}}
171    \newcommand{\TYint}{\mathbf{int}}
172    \newcommand{\TYreal}{\mathbf{real}}
173    \newcommand{\TYrawten}[2]{\mathbf{rawten}\langle{}#1,#2\rangle{}}
174    \newcommand{\TYtensor}[1]{\mathbf{tensor}\langle{}#1\rangle{}}
175    \newcommand{\TYmatrix}[2]{\mathbf{matrix}\langle{}#1,#2\rangle{}}
176    \newcommand{\TYimage}[2]{\mathbf{image}_{#1}\langle{}#2\rangle{}}
177    \newcommand{\TYkern}[1]{\mathbf{kern}^{#1}}
178    \newcommand{\TYfield}[3]{\mathbf{field}^{#1}_{#2}\langle{}#3\rangle{}}
179    \newcommand{\TYvec}[1]{\mathbf{vec}_{#1}}
180    
181    \newcommand{\Seq}[1]{\vec{#1}}
182    
183  % notes  % notes
184  %BEGIN LATEX  %BEGIN LATEX
185  \newcommand{\NOTE}[1]{%  \newcommand{\NOTE}[1]{%

Legend:
Removed from v.380  
changed lines
  Added in v.473

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