more latex symbols;
authorwenzelm
Fri Mar 15 22:02:05 2019 +0100 (5 weeks ago)
changeset 6991557a41389d0e2
parent 69914 72301e1457b9
child 69916 3235ecdcd884
more latex symbols;
lib/texinputs/isabellesym.sty
     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}}