6 |
6 |
7 \usepackage{ifthen} |
7 \usepackage{ifthen} |
8 |
8 |
9 \newcommand{\isarkeyword}[1]{{\mathord{\mathbf{#1}}}} |
9 \newcommand{\isarkeyword}[1]{{\mathord{\mathbf{#1}}}} |
10 |
10 |
11 \newcommand{\indexoutertoken}[1]{\index{#1 (syntax)|bold}\index{Syntax!#1|bold}} |
11 \newcommand{\indexoutersyntax}[1]{\index{#1 (syntax)|bold}} |
12 \newcommand{\indexouternonterm}[1]{\index{#1 (syntax)|bold}\index{Syntax!#1|bold}} |
12 \newcommand{\indexoutertoken}[1]{\index{#1 (syntax)|bold}} |
13 \newcommand{\indexisarcmd}[1]{\index{#1 (command)|bold}\index{Commands!#1|bold}} |
13 \newcommand{\indexouternonterm}[1]{\index{#1 (syntax)|bold}} |
14 \newcommand{\indexisarelem}[1]{\index{#1 (element)|bold}\index{Elements!#1|bold}} |
14 \newcommand{\indexisarcmd}[1]{\index{#1 (command)|bold}} |
15 \newcommand{\indexisarmeth}[1]{\index{#1 (method)|bold}\index{Methods!#1|bold}} |
15 \newcommand{\indexisarelem}[1]{\index{#1 (element)|bold}} |
16 \newcommand{\indexisaratt}[1]{\index{#1 (attribute)|bold}\index{Attributes!#1|bold}} |
16 \newcommand{\indexisarmeth}[1]{\index{#1 (method)|bold}} |
17 \newcommand{\indexisarthm}[1]{\index{#1 (theorem)|bold}\index{Theorems!#1|bold}} |
17 \newcommand{\indexisaratt}[1]{\index{#1 (attribute)|bold}} |
18 \newcommand{\indexisarvar}[1]{\index{#1 (variable)|bold}\index{Variables!#1|bold}} |
18 \newcommand{\indexisarthm}[1]{\index{#1 (theorem)|bold}} |
19 \newcommand{\indexisarcase}[1]{\index{#1 (case)|bold}\index{Cases!#1|bold}} |
19 \newcommand{\indexisarvar}[1]{\index{#1 (variable)|bold}} |
20 \newcommand{\indexisarant}[1]{\index{#1 (antiquotation)|bold}\index{Antiquotations!#1|bold}} |
20 \newcommand{\indexisarcase}[1]{\index{#1 (case)|bold}} |
|
21 \newcommand{\indexisarant}[1]{\index{#1 (antiquotation)|bold}} |
21 |
22 |
22 \newcommand{\indexisarcmdof}[2]{\index{#2 (#1 command)|bold}\index{Commands!#2 (#1)|bold}} |
23 \newcommand{\indexisarcmdof}[2]{\index{#2 (#1 command)|bold}} |
23 \newcommand{\indexisarmethof}[2]{\index{#2 (#1 method)|bold}\index{Methods!#2 (#1)|bold}} |
24 \newcommand{\indexisarmethof}[2]{\index{#2 (#1 method)|bold}} |
24 \newcommand{\indexisarattof}[2]{\index{#2 (#1 attribute)|bold}\index{Attributes!#2 (#1)|bold}} |
25 \newcommand{\indexisarattof}[2]{\index{#2 (#1 attribute)|bold}} |
25 |
26 |
26 \newcommand{\isarcmd}[1]{\isarkeyword{#1}} |
27 \newcommand{\isarcmd}[1]{\isarkeyword{#1}} |
27 \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2} |
28 \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2} |
28 \newcommand{\isarkeep}[1]{#1 \mathbin{\,\to\,} #1} |
29 \newcommand{\isarkeep}[1]{#1 \mathbin{\,\to\,} #1} |
29 \newcommand{\isarantiq}{antiquotation} |
30 \newcommand{\isarantiq}{antiquotation} |