equal
deleted
inserted
replaced
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}} |