# HG changeset patch
# User wenzelm
# Date 1005153414 -3600
# Node ID e70c7350851c5210ef25dad39e372b424b38e986
# Parent  34e7693271a9b705113d6acd5f8954263ab8692c
\isasymstruct;

diff -r 34e7693271a9 -r e70c7350851c lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Wed Nov 07 18:12:12 2001 +0100
+++ b/lib/texinputs/isabellesym.sty	Wed Nov 07 18:16:54 2001 +0100
@@ -339,3 +339,4 @@
 \newcommand{\isasymdieresis}{\isatext{\"\relax}}
 \newcommand{\isasymcedilla}{\isatext{\c\relax}}
 \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}
+\newcommand{\isasymstruct}{\isamath{\backprime}}  %requires amssymb