# HG changeset patch
# User wenzelm
# Date 1005260775 -3600
# Node ID 46a14ebdac4fc606b46c74fead0d3bf528b6f672
# Parent  d074c90b2bfff715bac62a8fb9997baaa6b6ac30
updated;

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}}