# HG changeset patch
# User kleing
# Date 1072674464 -3600
# Node ID fd3535af90ab8ffff55e9bf752283c3001d5a088
# Parent  8dbbb7cf36371225c63a5f4ac475640ed3c2b5c9
spanning super and sub scripts \<^bsub> .. \<^esub> and \<^bsup> .. \<^esup>

diff -r 8dbbb7cf3637 -r fd3535af90ab lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Sat Dec 27 21:02:14 2003 +0100
+++ b/lib/texinputs/isabelle.sty	Mon Dec 29 06:07:44 2003 +0100
@@ -28,6 +28,14 @@
 \newcommand{\isactrlisup}[1]{\emph{\isascriptstyle${}\sp{#1}$}}
 \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}}
 
+% somewhat hackish: spanning sub/super scripts (\<^bsub>..\<^esub>)
+\newcommand{\isactrlbsub}{%
+\def\isatext##1{\isastylescript##1}\begin{math}_\bgroup}
+\newcommand{\isactrlesub}{\egroup\end{math}}
+\newcommand{\isactrlbsup}{%
+\def\isatext##1{\isastylescript##1}\begin{math}^\bgroup}
+\newcommand{\isactrlesup}{\egroup\end{math}}
+
 \newdimen\isa@parindent\newdimen\isa@parskip
 
 \newenvironment{isabellebody}{%