301 \newcommand{\isasymprec}{\isamath{\prec}} |
301 \newcommand{\isasymprec}{\isamath{\prec}} |
302 \newcommand{\isasymsucc}{\isamath{\succ}} |
302 \newcommand{\isasymsucc}{\isamath{\succ}} |
303 \newcommand{\isasympreceq}{\isamath{\preceq}} |
303 \newcommand{\isasympreceq}{\isamath{\preceq}} |
304 \newcommand{\isasymsucceq}{\isamath{\succeq}} |
304 \newcommand{\isasymsucceq}{\isamath{\succeq}} |
305 \newcommand{\isasymparallel}{\isamath{\parallel}} |
305 \newcommand{\isasymparallel}{\isamath{\parallel}} |
|
306 \newcommand{\isasyminterleace}{\isamath{\interleave}} %requires stmaryrd |
|
307 \newcommand{\isasymsslash}{\isamath{\sslash}} %requires stmaryrd |
306 \newcommand{\isasymbar}{\isamath{\mid}} |
308 \newcommand{\isasymbar}{\isamath{\mid}} |
307 \newcommand{\isasymbbar}{\isamath{[\mskip-1.5mu]}} |
309 \newcommand{\isasymbbar}{\isamath{[\mskip-1.5mu]}} |
308 \newcommand{\isasymplusminus}{\isamath{\pm}} |
310 \newcommand{\isasymplusminus}{\isamath{\pm}} |
309 \newcommand{\isasymminusplus}{\isamath{\mp}} |
311 \newcommand{\isasymminusplus}{\isamath{\mp}} |
310 \newcommand{\isasymtimes}{\isamath{\times}} |
312 \newcommand{\isasymtimes}{\isamath{\times}} |
414 \newcommand{\isasymZinbag}{\isatext{\ooalign{\isamath{\sqsubset\mkern-1mu}\cr\isamath{-\mkern-1mu}\cr}}} |
416 \newcommand{\isasymZinbag}{\isatext{\ooalign{\isamath{\sqsubset\mkern-1mu}\cr\isamath{-\mkern-1mu}\cr}}} |
415 |
417 |
416 \newcommand{\isasymhole}{\isatext{\normalfont\rmfamily\wasylozenge}} %requires wasysym |
418 \newcommand{\isasymhole}{\isatext{\normalfont\rmfamily\wasylozenge}} %requires wasysym |
417 \newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}} |
419 \newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}} |
418 \newcommand{\isasymcomment}{\isatext{\isastylecmt---}} |
420 \newcommand{\isasymcomment}{\isatext{\isastylecmt---}} |
|
421 \newcommand{\isasymproof}{\isamath{\,\langle\mathit{proof}\rangle}} |
419 \newcommand{\isasymopen}{\isatext{\guilsinglleft}} |
422 \newcommand{\isasymopen}{\isatext{\guilsinglleft}} |
420 \newcommand{\isasymclose}{\isatext{\guilsinglright}} |
423 \newcommand{\isasymclose}{\isatext{\guilsinglright}} |
421 \newcommand{\isasymproof}{\isamath{\,\langle\mathit{proof}\rangle}} |
424 \newcommand{\isasymcheckmark}{\isatext{\ding{51}}} %requires pifont |
422 |
425 \newcommand{\isasymcrossmark}{\isatext{\ding{55}}} %requires pifont |
423 \newcommand{\isactrlmarker}{\isatext{\ding{48}}} %requires pifont |
426 \newcommand{\isactrlmarker}{\isatext{\ding{48}}} %requires pifont |
424 \newcommand{\isactrlassert}{\isakeywordcontrol{assert}} |
427 \newcommand{\isactrlassert}{\isakeywordcontrol{assert}} |
425 \newcommand{\isactrlcancel}{\isakeywordcontrol{cancel}} |
428 \newcommand{\isactrlcancel}{\isakeywordcontrol{cancel}} |
426 \newcommand{\isactrlbinding}{\isakeywordcontrol{binding}} |
429 \newcommand{\isactrlbinding}{\isakeywordcontrol{binding}} |
427 \newcommand{\isactrlclass}{\isakeywordcontrol{class}} |
430 \newcommand{\isactrlclass}{\isakeywordcontrol{class}} |