lib/texinputs/isabellesym.sty
changeset 69915 57a41389d0e2
parent 69596 c8a2755bf220
child 70014 7a9c559bc518
equal deleted inserted replaced
69914:72301e1457b9 69915:57a41389d0e2
   365 \newcommand{\isasymhole}{\isatext{\normalfont\rmfamily\wasylozenge}}  %requires wasysym
   365 \newcommand{\isasymhole}{\isatext{\normalfont\rmfamily\wasylozenge}}  %requires wasysym
   366 \newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}}
   366 \newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}}
   367 \newcommand{\isasymcomment}{\isatext{\isastylecmt---}}
   367 \newcommand{\isasymcomment}{\isatext{\isastylecmt---}}
   368 \newcommand{\isasymproof}{\isamath{\,\langle\mathit{proof}\rangle}}
   368 \newcommand{\isasymproof}{\isamath{\,\langle\mathit{proof}\rangle}}
   369 
   369 
       
   370 \newcommand{\isactrlmarker}{\isatext{\ding{48}}}  %requires pifont
   370 \newcommand{\isactrlassert}{\isakeywordcontrol{assert}}
   371 \newcommand{\isactrlassert}{\isakeywordcontrol{assert}}
   371 \newcommand{\isactrlcancel}{\isakeywordcontrol{cancel}}
   372 \newcommand{\isactrlcancel}{\isakeywordcontrol{cancel}}
   372 \newcommand{\isactrlbinding}{\isakeywordcontrol{binding}}
   373 \newcommand{\isactrlbinding}{\isakeywordcontrol{binding}}
   373 \newcommand{\isactrlclass}{\isakeywordcontrol{class}}
   374 \newcommand{\isactrlclass}{\isakeywordcontrol{class}}
   374 \newcommand{\isactrlclassUNDERSCOREsyntax}{\isakeywordcontrol{class{\isacharunderscore}syntax}}
   375 \newcommand{\isactrlclassUNDERSCOREsyntax}{\isakeywordcontrol{class{\isacharunderscore}syntax}}