equal
deleted
inserted
replaced
354 \newcommand{\isasymbind}{\isamath{\mathbin{>\!\!\!>\mkern-6.7mu=}}} |
354 \newcommand{\isasymbind}{\isamath{\mathbin{>\!\!\!>\mkern-6.7mu=}}} |
355 \newcommand{\isasymthen}{\isamath{\mathbin{>\!\!\!>}}} |
355 \newcommand{\isasymthen}{\isamath{\mathbin{>\!\!\!>}}} |
356 \newcommand{\isasymsome}{\isamath{\epsilon\,}} |
356 \newcommand{\isasymsome}{\isamath{\epsilon\,}} |
357 \newcommand{\isasymopen}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}} |
357 \newcommand{\isasymopen}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}} |
358 \newcommand{\isasymclose}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}} |
358 \newcommand{\isasymclose}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}} |
|
359 \newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}} |
359 |
360 |