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