lib/texinputs/isabellesym.sty
changeset 67394 b591933d39ec
parent 67154 c7def8f836d0
child 67413 2555713586c8
     1.1 --- a/lib/texinputs/isabellesym.sty	Tue Jan 09 19:25:01 2018 +0100
     1.2 +++ b/lib/texinputs/isabellesym.sty	Tue Jan 09 20:03:14 2018 +0100
     1.3 @@ -364,7 +364,7 @@
     1.4  \newcommand{\isasymclose}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}}
     1.5  \newcommand{\isasymhole}{\isatext{\rm\wasylozenge}}  %requires wasysym
     1.6  \newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}}
     1.7 -\newcommand{\isasymcomment}{\isatext{---}}
     1.8 +\newcommand{\isasymcomment}{\isatext{\isastylecmt---}}
     1.9  \newcommand{\isasymproof}{\isamath{\,\langle\mathit{proof}\rangle}}
    1.10  
    1.11  \newcommand{\isactrlassert}{\isakeywordcontrol{assert}}