20 |
20 |
21 %symbol markup -- \emph achieves decent spacing via italic corrections |
21 %symbol markup -- \emph achieves decent spacing via italic corrections |
22 \newcommand{\isamath}[1]{\emph{$#1$}} |
22 \newcommand{\isamath}[1]{\emph{$#1$}} |
23 \newcommand{\isatext}[1]{\emph{#1}} |
23 \newcommand{\isatext}[1]{\emph{#1}} |
24 \newcommand{\isascriptstyle}{\def\isamath##1{##1}\def\isatext##1{\mbox{\isastylescript##1}}} |
24 \newcommand{\isascriptstyle}{\def\isamath##1{##1}\def\isatext##1{\mbox{\isastylescript##1}}} |
25 \newcommand{\isactrlsub}[1]{\emph{${}\sb{\mbox{\isastylescript{#1}}}$}} |
25 \newcommand{\isactrlsub}[1]{\emph{\isascriptstyle${}\sb{#1}$}} |
26 \newcommand{\isactrlsup}[1]{\emph{${}\sp{\mbox{\isastylescript{#1}}}$}} |
26 \newcommand{\isactrlsup}[1]{\emph{\isascriptstyle${}\sp{#1}$}} |
27 \newcommand{\isactrlisub}[1]{\emph{${}\sb{\mbox{\isastylescript{#1}}}$}} |
27 \newcommand{\isactrlisub}[1]{\emph{\isascriptstyle${}\sb{#1}$}} |
28 \newcommand{\isactrlisup}[1]{\emph{${}\sp{\mbox{\isastylescript{#1}}}$}} |
28 \newcommand{\isactrlisup}[1]{\emph{\isascriptstyle${}\sp{#1}$}} |
29 \newcommand{\isactrlbsub}{\emph\bgroup\begin{math}{}\sb\bgroup\mbox\bgroup\isastylescript} |
29 \newcommand{\isactrlbsub}{\emph\bgroup\begin{math}{}\sb\bgroup\mbox\bgroup\isastylescript} |
30 \newcommand{\isactrlesub}{\egroup\egroup\end{math}\egroup} |
30 \newcommand{\isactrlesub}{\egroup\egroup\end{math}\egroup} |
31 \newcommand{\isactrlbsup}{\emph\bgroup\begin{math}{}\sp\bgroup\mbox\bgroup\isastylescript} |
31 \newcommand{\isactrlbsup}{\emph\bgroup\begin{math}{}\sp\bgroup\mbox\bgroup\isastylescript} |
32 \newcommand{\isactrlesup}{\egroup\egroup\end{math}\egroup} |
32 \newcommand{\isactrlesup}{\egroup\egroup\end{math}\egroup} |
33 \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}} |
33 \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}} |
87 \chardef\isacharbackquoteclose=`\` |
87 \chardef\isacharbackquoteclose=`\` |
88 \chardef\isacharbraceleft=`\{ |
88 \chardef\isacharbraceleft=`\{ |
89 \chardef\isacharbar=`\| |
89 \chardef\isacharbar=`\| |
90 \chardef\isacharbraceright=`\} |
90 \chardef\isacharbraceright=`\} |
91 \chardef\isachartilde=`\~ |
91 \chardef\isachartilde=`\~ |
|
92 \def\isacharverbatimopen{\isacharbraceleft\isacharasterisk} |
|
93 \def\isacharverbatimclose{\isacharasterisk\isacharbraceright} |
92 |
94 |
93 |
95 |
94 % keyword and section markup |
96 % keyword and section markup |
95 |
97 |
96 \newcommand{\isakeywordcharunderscore}{\_} |
98 \newcommand{\isakeywordcharunderscore}{\_} |
163 \renewcommand{\isacharbar}{\isamath{\mid}}% |
165 \renewcommand{\isacharbar}{\isamath{\mid}}% |
164 \renewcommand{\isacharbraceright}{\isamath{\}}}% |
166 \renewcommand{\isacharbraceright}{\isamath{\}}}% |
165 \renewcommand{\isachartilde}{\isamath{{}\sp{\sim}}}% |
167 \renewcommand{\isachartilde}{\isamath{{}\sp{\sim}}}% |
166 \renewcommand{\isacharbackquoteopen}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}}% |
168 \renewcommand{\isacharbackquoteopen}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}}% |
167 \renewcommand{\isacharbackquoteclose}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}}% |
169 \renewcommand{\isacharbackquoteclose}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}}% |
|
170 \renewcommand{\isacharverbatimopen}{\isamath{\langle\!\langle}}% |
|
171 \renewcommand{\isacharverbatimclose}{\isamath{\rangle\!\rangle}}% |
168 } |
172 } |
169 |
173 |
170 \newcommand{\isabellestylesl}{% |
174 \newcommand{\isabellestylesl}{% |
171 \isabellestyleit% |
175 \isabellestyleit% |
172 \renewcommand{\isastyle}{\small\sl}% |
176 \renewcommand{\isastyle}{\small\sl}% |