# HG changeset patch
# User wenzelm
# Date 1005175509 -3600
# Node ID ddb042d222193fe1fbc27780f210967c07140629
# Parent  8945a021f3752d7462b702340ed6b3a45f9c37d9
\newcommand{\isasymstruct}{\isamath{\diamond}};

diff -r 8945a021f375 -r ddb042d22219 lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Wed Nov 07 18:53:11 2001 +0100
+++ b/lib/texinputs/isabellesym.sty	Thu Nov 08 00:25:09 2001 +0100
@@ -336,7 +336,7 @@
 \newcommand{\isasymwrong}{\isamath{\wr}}
 \newcommand{\isasymspacespace}{\isamath{~~}}
 \newcommand{\isasymacute}{\isatext{\'\relax}}
+\newcommand{\isasymstruct}{\isamath{\diamond}}
 \newcommand{\isasymdieresis}{\isatext{\"\relax}}
 \newcommand{\isasymcedilla}{\isatext{\c\relax}}
 \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}
-\newcommand{\isasymstruct}{\isamath{\backprime}}  %requires amssymb