--- a/lib/texinputs/isabellesym.sty Mon Apr 26 13:01:37 2004 +0200
+++ b/lib/texinputs/isabellesym.sty Mon Apr 26 14:46:47 2004 +0200
@@ -262,6 +262,8 @@
\newcommand{\isasymequiv}{\isamath{\equiv}}
\newcommand{\isasymfrown}{\isamath{\frown}}
\newcommand{\isasympropto}{\isamath{\propto}}
+\newcommand{\isasymsome}{\isamath{\epsilon\,}}
+\newcommand{\isasymJoin}{\isamath{\Join}} %requires amssym
\newcommand{\isasymbowtie}{\isamath{\bowtie}}
\newcommand{\isasymprec}{\isamath{\prec}}
\newcommand{\isasymsucc}{\isamath{\succ}}
@@ -342,7 +344,6 @@
\newcommand{\isasymamalg}{\isamath{\amalg}}
\newcommand{\isasymmho}{\isamath{\mho}} %requires amssym
\newcommand{\isasymlozenge}{\isamath{\lozenge}} %requires amssym
-\newcommand{\isasymJoin}{\isamath{\Join}} %requires amssym
\newcommand{\isasymwp}{\isamath{\wp}}
\newcommand{\isasymwrong}{\isamath{\wr}}
\newcommand{\isasymstruct}{\isamath{\diamond}}