# HG changeset patch
# User wenzelm
# Date 979154374 -3600
# Node ID b88ce3ed3b1d8b73aba87d49aad11b9d3f81d3e3
# Parent  479dad7b3b41db4cf1133f6cff1f59b5fb7758bd
added \<wrong> symbol;

diff -r 479dad7b3b41 -r b88ce3ed3b1d lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Wed Jan 10 20:18:55 2001 +0100
+++ b/lib/texinputs/isabellesym.sty	Wed Jan 10 20:19:34 2001 +0100
@@ -288,8 +288,10 @@
 \newcommand{\isasymmho}{\isamath{\mho}}  %requires latexsym
 \newcommand{\isasymlozenge}{\isamath{\lozenge}}  %requires amssym
 \newcommand{\isasymJoin}{\isamath{\Join}}  %requires latexsym
+\newcommand{\isasymwrong}{\isamath{\wr}}
+\newcommand{\isasymspacespace}{\isamath{~~}}
 \newcommand{\isasymacute}{\isatext{\'\relax}}
-\newcommand{\isasymcedilla}{\isatext{\c\relax}}
 \newcommand{\isasymdieresis}{\isatext{\"\relax}}
+\newcommand{\isasymcedilla}{\isatext{\c\relax}}
 \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}
-\newcommand{\isasymspacespace}{\isamath{~~}}
+