DeclareRobustCommand \isactrlbsub/esub etc.;
authorwenzelm
Thu, 18 Oct 2007 14:30:55 +0200
changeset 25081aabaab4ad212
parent 25080 21d44e3aea4c
child 25082 c93a234ccf2b
DeclareRobustCommand \isactrlbsub/esub etc.;
lib/texinputs/isabelle.sty
     1.1 --- a/lib/texinputs/isabelle.sty	Thu Oct 18 09:21:00 2007 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Thu Oct 18 14:30:55 2007 +0200
     1.3 @@ -25,10 +25,10 @@
     1.4  \newcommand{\isactrlsup}[1]{\emph{\isascriptstyle${}\sp{#1}$}}
     1.5  \newcommand{\isactrlisub}[1]{\emph{\isascriptstyle${}\sb{#1}$}}
     1.6  \newcommand{\isactrlisup}[1]{\emph{\isascriptstyle${}\sp{#1}$}}
     1.7 -\newcommand{\isactrlbsub}{\emph\bgroup\begin{math}{}\sb\bgroup\mbox\bgroup\isastylescript}
     1.8 -\newcommand{\isactrlesub}{\egroup\egroup\end{math}\egroup}
     1.9 -\newcommand{\isactrlbsup}{\emph\bgroup\begin{math}{}\sp\bgroup\mbox\bgroup\isastylescript}
    1.10 -\newcommand{\isactrlesup}{\egroup\egroup\end{math}\egroup}
    1.11 +\DeclareRobustCommand{\isactrlbsub}{\emph\bgroup\math{}\sb\bgroup\mbox\bgroup\isastylescript}
    1.12 +\DeclareRobustCommand{\isactrlesub}{\egroup\egroup\endmath\egroup}
    1.13 +\DeclareRobustCommand{\isactrlbsup}{\emph\bgroup\math{}\sp\bgroup\mbox\bgroup\isastylescript}
    1.14 +\DeclareRobustCommand{\isactrlesup}{\egroup\egroup\endmath\egroup}
    1.15  \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}}
    1.16  \newcommand{\isactrlloc}[1]{{\bfseries\upshape\boldmath#1}}
    1.17  \newenvironment{isaantiq}{{\isacharat\isacharbraceleft}}{{\isacharbraceright}}