
diff -r d074c90b2bff -r 46a14ebdac4f doc-src/TutorialI/isabellesym.sty
--- 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}}




