equal
deleted
inserted
replaced
352 \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}} |
352 \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}} |
353 \newcommand{\isasymmodule}{\isamath{\langle}\isakeyword{module}\isamath{\rangle}} |
353 \newcommand{\isasymmodule}{\isamath{\langle}\isakeyword{module}\isamath{\rangle}} |
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$}}} |
|
358 \newcommand{\isasymclose}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}} |
|
359 \newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}} |
|
360 |