equal
deleted
inserted
replaced
21 |
21 |
22 %symbol markup -- \emph achieves decent spacing via italic corrections |
22 %symbol markup -- \emph achieves decent spacing via italic corrections |
23 \newcommand{\isamath}[1]{\emph{$#1$}} |
23 \newcommand{\isamath}[1]{\emph{$#1$}} |
24 \newcommand{\isatext}[1]{\emph{#1}} |
24 \newcommand{\isatext}[1]{\emph{#1}} |
25 \newcommand{\isascriptstyle}{\def\isamath##1{##1}\def\isatext##1{\mbox{\isastylescript##1}}} |
25 \newcommand{\isascriptstyle}{\def\isamath##1{##1}\def\isatext##1{\mbox{\isastylescript##1}}} |
26 \newcommand{\isactrlsub}[1]{\emph{\isascriptstyle${}_{#1}$}} |
26 \newcommand{\isactrlsub}[1]{\emph{\isascriptstyle${}\sb{#1}$}} |
27 \newcommand{\isactrlsup}[1]{\emph{\isascriptstyle${}^{#1}$}} |
27 \newcommand{\isactrlsup}[1]{\emph{\isascriptstyle${}\sp{#1}$}} |
28 |
28 |
29 \newdimen\isa@parindent\newdimen\isa@parskip |
29 \newdimen\isa@parindent\newdimen\isa@parskip |
30 |
30 |
31 \newenvironment{isabellebody}{% |
31 \newenvironment{isabellebody}{% |
32 \isa@parindent\parindent\parindent0pt% |
32 \isa@parindent\parindent\parindent0pt% |
139 \renewcommand{\isacharbrackright}{\isamath{]}}% |
139 \renewcommand{\isacharbrackright}{\isamath{]}}% |
140 \renewcommand{\isacharunderscore}{\mbox{-}}% |
140 \renewcommand{\isacharunderscore}{\mbox{-}}% |
141 \renewcommand{\isacharbraceleft}{\isamath{\{}}% |
141 \renewcommand{\isacharbraceleft}{\isamath{\{}}% |
142 \renewcommand{\isacharbar}{\isamath{\mid}}% |
142 \renewcommand{\isacharbar}{\isamath{\mid}}% |
143 \renewcommand{\isacharbraceright}{\isamath{\}}}% |
143 \renewcommand{\isacharbraceright}{\isamath{\}}}% |
144 \renewcommand{\isachartilde}{\isamath{{}^\sim}}% |
144 \renewcommand{\isachartilde}{\isamath{{}\sp{\sim}}}% |
145 } |
145 } |
146 |
146 |
147 \newcommand{\isabellestylesl}{% |
147 \newcommand{\isabellestylesl}{% |
148 \isabellestyleit% |
148 \isabellestyleit% |
149 \renewcommand{\isastyle}{\small\sl}% |
149 \renewcommand{\isastyle}{\small\sl}% |