|
107 | 107 | \newcommand{\Case}[1]{\textbf{Case }$\langle\hspace{0.1em}${#1}$\hspace{0.1em}\rangle$\textbf{.}}
|
108 | 108 | \newcommand{\EndCase}{\mbox{}\hfill$\scriptscriptstyle\Box$\xspace}
|
109 | 109 |
|
110 |
| -\newenvironment{dartCode}[1][!ht] { |
| 110 | +\newenvironment{dartCode}[1][!ht] {% |
111 | 111 | \def\@programcr{\@addfield\strut}%
|
112 | 112 | \let\\=\@programcr%
|
113 | 113 | \relax\@vobeyspaces\obeylines%
|
114 | 114 | \ttfamily\color{commentaryColor}%
|
115 |
| - \vspace{1em} |
| 115 | + \vspace{1em}% |
116 | 116 | }{\normalcolor\vspace{1em}}
|
117 | 117 |
|
118 |
| -\newenvironment{normativeDartCode}[1][!ht] { |
| 118 | +\newenvironment{normativeDartCode}[1][!ht] {% |
119 | 119 | \def\@programcr{\@addfield\strut}%
|
120 | 120 | \let\\=\@programcr%
|
121 | 121 | \relax\@vobeyspaces\obeylines%
|
122 | 122 | \ttfamily\color{normativeColor}%
|
123 |
| - \vspace{1em} |
| 123 | + \vspace{1em}% |
124 | 124 | }{\normalcolor\vspace{1em}}
|
125 | 125 |
|
126 | 126 | % Used for comments in a code context.
|
127 | 127 | \def\comment#1{\textsf{#1}}
|
128 | 128 |
|
129 |
| -% A commonly used name for an identifier |
| 129 | +% A commonly used metavariable for an identifier, operator. |
130 | 130 | \newcommand{\id}{\metavar{id}}
|
| 131 | +\newcommand{\op}{\metavar{op}} |
131 | 132 |
|
132 | 133 | % Used for defining occurrence of phrase, with customized index entry.
|
133 | 134 | \newcommand{\IndexCustom}[2]{%
|
|
142 | 143 | \newcommand{\Index}[1]{\IndexCustom{#1}{#1}}
|
143 | 144 |
|
144 | 145 | % Same appearance, but not adding an entry to the index.
|
145 |
| -\newcommand{\NoIndex}[1]{ |
| 146 | +\newcommand{\NoIndex}[1]{% |
146 | 147 | \leavevmode\marginpar{\ensuremath{\diamond}}\emph{#1}}
|
147 | 148 |
|
148 | 149 | % Used to specify comma separated lists of similar symbols.
|
|
0 commit comments