equal
deleted
inserted
replaced
362 \newcommand{\isasymthen}{\isamath{\mathbin{>\!\!\!>}}} |
362 \newcommand{\isasymthen}{\isamath{\mathbin{>\!\!\!>}}} |
363 \newcommand{\isasymopen}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}} |
363 \newcommand{\isasymopen}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}} |
364 \newcommand{\isasymclose}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}} |
364 \newcommand{\isasymclose}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}} |
365 \newcommand{\isasymhole}{\isatext{\rm\wasylozenge}} %requires wasysym |
365 \newcommand{\isasymhole}{\isatext{\rm\wasylozenge}} %requires wasysym |
366 \newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}} |
366 \newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}} |
367 \newcommand{\isasymcomment}{\isatext{---}} |
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{\isactrlassert}{\isakeywordcontrol{assert}} |
370 \newcommand{\isactrlassert}{\isakeywordcontrol{assert}} |
371 \newcommand{\isactrlbinding}{\isakeywordcontrol{binding}} |
371 \newcommand{\isactrlbinding}{\isakeywordcontrol{binding}} |
372 \newcommand{\isactrlclass}{\isakeywordcontrol{class}} |
372 \newcommand{\isactrlclass}{\isakeywordcontrol{class}} |