| changeset 12113 | 46a14ebdac4f |
| parent 11709 | f4d287d924bb |
| child 12391 | 45dc2986aeb4 |
--- a/doc-src/TutorialI/isabellesym.sty Fri Nov 09 00:05:49 2001 +0100 +++ b/doc-src/TutorialI/isabellesym.sty Fri Nov 09 00:06:15 2001 +0100 @@ -337,5 +337,7 @@ \newcommand{\isasymspacespace}{\isamath{~~}} \newcommand{\isasymacute}{\isatext{\'\relax}} \newcommand{\isasymdieresis}{\isatext{\"\relax}} +\newcommand{\isasymstruct}{\isamath{\diamond}} +\newcommand{\isasymindex}{\isamath{\i}} \newcommand{\isasymcedilla}{\isatext{\c\relax}} \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}