equal
deleted
inserted
replaced
354 \newcommand{\isasymcedilla}{\isatext{\c\relax}} |
354 \newcommand{\isasymcedilla}{\isatext{\c\relax}} |
355 \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}} |
355 \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}} |
356 \newcommand{\isasymspacespace}{\isamath{~~}} |
356 \newcommand{\isasymspacespace}{\isamath{~~}} |
357 \newcommand{\isasymmodule}{\isamath{\langle}\isakeyword{module}\isamath{\rangle}} |
357 \newcommand{\isasymmodule}{\isamath{\langle}\isakeyword{module}\isamath{\rangle}} |
358 \newcommand{\isasymsome}{\isamath{\epsilon\,}} |
358 \newcommand{\isasymsome}{\isamath{\epsilon\,}} |
|
359 \newcommand{\isasymbind}{\isamath{\mathbin{>\!\!\!>\mkern-6.7mu=}}} |
|
360 \newcommand{\isasymthen}{\isamath{\mathbin{>\!\!\!>}}} |