lib/texinputs/isabellesym.sty
changeset 62312 5e5a881ebc12
parent 62108 0046bacc5f5b
child 62440 31fa592761da
     1.1 --- a/lib/texinputs/isabellesym.sty	Sun Feb 14 16:29:30 2016 +0100
     1.2 +++ b/lib/texinputs/isabellesym.sty	Sun Feb 14 16:30:27 2016 +0100
     1.3 @@ -365,3 +365,4 @@
     1.4  \newcommand{\isasymopen}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}}
     1.5  \newcommand{\isasymclose}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}}
     1.6  \newcommand{\isasymcomment}{\isatext{---}}
     1.7 +\newcommand{\isasymproof}{\isamath{\,\langle\mathit{proof}\rangle}}