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

SCM Repository

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

Annotation of /trunk/doc/field-norm/defs.tex

Parent Directory Parent Directory | Revision Log Revision Log


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

1 : jhr 468 %!TEX root = paper.tex
2 :     %
3 :    
4 :     \usepackage{times}
5 :     %-------------------------
6 :     % the following magic makes the tt font in math mode be the same as the
7 :     % normal tt font (i.e., Courier)
8 :     %
9 :     \SetMathAlphabet{\mathtt}{normal}{OT1}{pcr}{m}{n}
10 :     \SetMathAlphabet{\mathtt}{bold}{OT1}{pcr}{bx}{n}
11 :     %-------------------------
12 :    
13 :     \usepackage{amssymb}
14 :     \usepackage{amsmath}
15 : jhr 469 \usepackage{stmaryrd}
16 : jhr 468
17 : jhr 469 % Diderot listings
18 :     %
19 :     \usepackage{listings}
20 :     \lstset{
21 :     basicstyle=\ttfamily\small,
22 :     keywordstyle=\bfseries,
23 :     commentstyle=\itshape}
24 :     \lstdefinelanguage{Diderot}{%
25 :     morekeywords={bool,field,image,input,int,kernel,output,real,string,tensor,vec2,vec3,vec4},%
26 :     morekeywords={actor,D,die,else,if,in,inf,initially,nan,new,stabilize,update},%
27 :     otherkeywords={|,||,@,..,\#,\{,\}},%
28 :     sensitive,%
29 :     morecomment=[s]{/*}{*/},%
30 :     morecomment=[l]//,% nonstandard
31 :     morestring=[b]"%
32 :     }%
33 :    
34 :     \lstset{
35 :     language=Diderot
36 :     }
37 : jhr 468 \newcommand{\NOTE}[1]{%
38 :     \par\leavevmode\noindent\textbf{[[ #1 ]]}\par\leavevmode\noindent}
39 :     \newcommand{\CUT}[1]{}
40 :     \newcommand{\SIDENOTE}[1]{%
41 :     \marginpar{\tiny\raggedright{#1}}}
42 :    
43 :     \newcommand{\appref}[1]{Appendix~\ref{#1}}
44 :     \newcommand{\chapref}[1]{Chapter~\ref{#1}}
45 :     \newcommand{\secref}[1]{Section~\ref{#1}}
46 :     \newcommand{\tblref}[1]{Table~\ref{#1}}
47 :     \newcommand{\figref}[1]{Figure~\ref{#1}}
48 :     \newcommand{\listingref}[1]{Listing~\ref{#1}}
49 :     \newcommand{\pref}[1]{{page~\pageref{#1}}}
50 :     \newcommand{\defref}[1]{Definition~\ref{#1}}
51 :     \newcommand{\ruleref}[1]{Rule~\ref{#1}}
52 :    
53 :     \newcommand{\eg}{{\em e.g.}}
54 :     \newcommand{\cf}{{\em cf.}}
55 :     \newcommand{\ie}{{\em i.e.}}
56 :     \newcommand{\etc}{{\em etc.\/}}
57 :     \newcommand{\naive}{na\"{\i}ve}
58 :     \newcommand{\ala}{{\em \`{a} la\/}}
59 :     \newcommand{\etal}{{\em et al.\/}}
60 :     \newcommand{\role}{r\^{o}le}
61 :     \newcommand{\vs}{{\em vs.}}
62 :     \newcommand{\forte}{{fort\'{e}\/}}
63 :     \newcommand{\point}{\textbullet~}
64 :    
65 :     %
66 :     % font commands
67 :     \providecommand{\bftt}[1]{{\ttfamily\bfseries{}#1}}
68 :     \providecommand{\ittt}[1]{{\ttfamily\itshape{}#1}}
69 :     \providecommand{\kw}[1]{\bftt{#1}}
70 :     \providecommand{\nt}[1]{{\rmfamily\itshape{#1}}}
71 :     \providecommand{\term}[1]{{\sffamily{#1}}}
72 :     \providecommand{\tyvar}[1]{\ittt{#1}}
73 :     %
74 :     % math-mode versions
75 :     \providecommand{\mkw}[1]{\ensuremath{\text{\kw{#1}}}}
76 :     \providecommand{\mnt}[1]{\ensuremath{\text{\nt{#1}}}}
77 :     \providecommand{\mterm}[1]{\ensuremath{\text{\term{#1}}}}
78 :     \providecommand{\mtyvar}[1]{\ensuremath{\text{\tyvar{#1}}}}
79 :    
80 :     % braces (in math mode)
81 :     \newcommand{\LCB}{\mkw{\{}}
82 :     \newcommand{\RCB}{\mkw{\}}}
83 :    
84 :     % underscore
85 :     \newcommand{\US}{\char`\_}
86 :    
87 :     %%%%%
88 :     % Some common math notation
89 :     %
90 :    
91 :     % double brackets
92 :     \newcommand{\LDB}{\ensuremath{[\mskip -3mu [}}
93 :     \newcommand{\RDB}{\ensuremath{]\mskip -3mu ]}}
94 :    
95 :     \newcommand{\dom}{\ensuremath{\mathrm{dom}}}
96 :     \newcommand{\rng}{\ensuremath{\mathrm{rng}}}
97 :    
98 :     % sets
99 :     \newcommand{\SET}[1]{\ensuremath{\{#1\}}}
100 :     \newcommand{\Fin}{\textrm{Fin}} % finite power set
101 :     \newcommand{\DISJOINT}[2]{\ensuremath{#1 \pitchfork #2}}
102 :     \newcommand{\finsubset}{\mathrel{\stackrel{\textrm{fin}}{\subset}}}
103 :    
104 :     % finite maps
105 :     \newcommand{\finmap}{\mathrel{\stackrel{\textrm{fin}}{\rightarrow}}}
106 :     \newcommand{\MAP}[2]{\SET{#1 \mapsto #2}}
107 :     \newcommand{\EXTEND}[2]{\ensuremath{#1{\pm}#2}}
108 :     \newcommand{\EXTENDone}[3]{\EXTEND{#1}{\MAP{#2}{#3}}}
109 :     \newcommand{\SUBST}[3]{\ensuremath{#1[#2\mapsto{}#3]}}
110 :     \newcommand{\SUBSTTWO}[5]{\ensuremath{#1[#2\mapsto{}#3,#4\mapsto{}#5]}}
111 :    
112 :     \newcommand{\matM}{\mathbf{M}}
113 :     \newcommand{\vecx}{\mathbf{x}}
114 :     \newcommand{\vecp}{\mathbf{p}}
115 :     \newcommand{\vecn}{\mathbf{n}}
116 :     \newcommand{\vecf}{\mathbf{f}}
117 :     \newcommand{\VEC}[1]{\left\langle{#1}\right\rangle}
118 :     \newcommand{\FLOOR}[1]{\left\lfloor{#1}\right\rfloor}
119 :    

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