lib/texinputs/isabelle.sty
changeset 55033 8e8243975860
parent 53167 4e7ddd76e632
child 55365 9d5aba2baa4c
     1.1 --- a/lib/texinputs/isabelle.sty	Fri Jan 17 20:51:36 2014 +0100
     1.2 +++ b/lib/texinputs/isabelle.sty	Sat Jan 18 19:15:12 2014 +0100
     1.3 @@ -97,6 +97,8 @@
     1.4  \chardef\isachartilde=`\~%
     1.5  \def\isacharverbatimopen{\isacharbraceleft\isacharasterisk}%
     1.6  \def\isacharverbatimclose{\isacharasterisk\isacharbraceright}%
     1.7 +\def\isacartoucheopen{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}}%
     1.8 +\def\isacartoucheclose{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}}%
     1.9  }
    1.10  
    1.11