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