equal
deleted
inserted
replaced
393 \newcommand{\isasymZspot}{\isamath{\bullet}} |
393 \newcommand{\isasymZspot}{\isamath{\bullet}} |
394 \newcommand{\isasymZproject}{\isamath{\upharpoonright}} %requires amssymb |
394 \newcommand{\isasymZproject}{\isamath{\upharpoonright}} %requires amssymb |
395 \newcommand{\isasymZtypecolon}{\isatext{\raise 0.6ex\hbox{\oalign{\hfil\isamath{\scriptscriptstyle\mathrm{o}}\hfil\cr\hfil\isamath{\scriptscriptstyle\mathrm{o}}\hfil}}}} |
395 \newcommand{\isasymZtypecolon}{\isatext{\raise 0.6ex\hbox{\oalign{\hfil\isamath{\scriptscriptstyle\mathrm{o}}\hfil\cr\hfil\isamath{\scriptscriptstyle\mathrm{o}}\hfil}}}} |
396 \newcommand{\isasymZhide}{\isamath{\backslash}} |
396 \newcommand{\isasymZhide}{\isamath{\backslash}} |
397 \newcommand{\isasymZcat}{\isatext{\raise 0.8ex\hbox{\isamath{\mathchar\frown}}}} |
397 \newcommand{\isasymZcat}{\isatext{\raise 0.8ex\hbox{\isamath{\mathchar\frown}}}} |
|
398 \newcommand{\isasymZinbag}{\isatext{\ooalign{\isamath{\sqsubset\mkern-1mu}\cr\isamath{-\mkern-1mu}\cr}}} |
398 |
399 |
399 \newcommand{\isasymhole}{\isatext{\normalfont\rmfamily\wasylozenge}} %requires wasysym |
400 \newcommand{\isasymhole}{\isatext{\normalfont\rmfamily\wasylozenge}} %requires wasysym |
400 \newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}} |
401 \newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}} |
401 \newcommand{\isasymcomment}{\isatext{\isastylecmt---}} |
402 \newcommand{\isasymcomment}{\isatext{\isastylecmt---}} |
402 \newcommand{\isasymopen}{\isatext{\guilsinglleft}} |
403 \newcommand{\isasymopen}{\isatext{\guilsinglleft}} |