lib/texinputs/isabellesym.sty
changeset 69915 57a41389d0e2
parent 69596 c8a2755bf220
child 70014 7a9c559bc518
     1.1 --- a/lib/texinputs/isabellesym.sty	Thu Mar 14 21:17:40 2019 +0100
     1.2 +++ b/lib/texinputs/isabellesym.sty	Fri Mar 15 22:02:05 2019 +0100
     1.3 @@ -367,6 +367,7 @@
     1.4  \newcommand{\isasymcomment}{\isatext{\isastylecmt---}}
     1.5  \newcommand{\isasymproof}{\isamath{\,\langle\mathit{proof}\rangle}}
     1.6  
     1.7 +\newcommand{\isactrlmarker}{\isatext{\ding{48}}}  %requires pifont
     1.8  \newcommand{\isactrlassert}{\isakeywordcontrol{assert}}
     1.9  \newcommand{\isactrlcancel}{\isakeywordcontrol{cancel}}
    1.10  \newcommand{\isactrlbinding}{\isakeywordcontrol{binding}}