avoid "_" and "^" (more robust);
authorwenzelm
Wed Oct 18 23:39:49 2000 +0200 (2000-10-18)
changeset 102606c31c8bb78e8
parent 10259 93ec82d535f2
child 10261 bb2f1e859177
avoid "_" and "^" (more robust);
lib/texinputs/isabelle.sty
     1.1 --- a/lib/texinputs/isabelle.sty	Wed Oct 18 23:39:19 2000 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Wed Oct 18 23:39:49 2000 +0200
     1.3 @@ -23,8 +23,8 @@
     1.4  \newcommand{\isamath}[1]{\emph{$#1$}}
     1.5  \newcommand{\isatext}[1]{\emph{#1}}
     1.6  \newcommand{\isascriptstyle}{\def\isamath##1{##1}\def\isatext##1{\mbox{\isastylescript##1}}}
     1.7 -\newcommand{\isactrlsub}[1]{\emph{\isascriptstyle${}_{#1}$}}
     1.8 -\newcommand{\isactrlsup}[1]{\emph{\isascriptstyle${}^{#1}$}}
     1.9 +\newcommand{\isactrlsub}[1]{\emph{\isascriptstyle${}\sb{#1}$}}
    1.10 +\newcommand{\isactrlsup}[1]{\emph{\isascriptstyle${}\sp{#1}$}}
    1.11  
    1.12  \newdimen\isa@parindent\newdimen\isa@parskip
    1.13  
    1.14 @@ -141,7 +141,7 @@
    1.15  \renewcommand{\isacharbraceleft}{\isamath{\{}}%
    1.16  \renewcommand{\isacharbar}{\isamath{\mid}}%
    1.17  \renewcommand{\isacharbraceright}{\isamath{\}}}%
    1.18 -\renewcommand{\isachartilde}{\isamath{{}^\sim}}%
    1.19 +\renewcommand{\isachartilde}{\isamath{{}\sp{\sim}}}%
    1.20  }
    1.21  
    1.22  \newcommand{\isabellestylesl}{%