# HG changeset patch
# User wenzelm
# Date 949696573 -3600
# Node ID 7a4445000fc224252600e89a771bc20fecbf73dd
# Parent  535d6253f930cc33bbb1421292968eb4ba1554c7
tuned syms;

diff -r 535d6253f930 -r 7a4445000fc2 lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Fri Feb 04 11:36:11 2000 +0100
+++ b/lib/texinputs/isabellesym.sty	Fri Feb 04 21:36:13 2000 +0100
@@ -44,9 +44,9 @@
 \newcommand{\isasymnot}{\emph{$\neg$}}
 \newcommand{\isasymand}{\emph{$\wedge$}}
 \newcommand{\isasymor}{\emph{$\vee$}}
-\newcommand{\isasymforall}{\emph{$\forall$}}
-\newcommand{\isasymexists}{\emph{$\exists$}}
-\newcommand{\isasymAnd}{\emph{$\bigwedge$}}
+\newcommand{\isasymforall}{\emph{$\forall\,$}}
+\newcommand{\isasymexists}{\emph{$\exists\,$}}
+\newcommand{\isasymAnd}{\emph{$\bigwedge\,$}}
 \newcommand{\isasymlceil}{\emph{$\lceil$}}
 \newcommand{\isasymrceil}{\emph{$\rceil$}}
 \newcommand{\isasymlfloor}{\emph{$\lfloor$}}
@@ -60,12 +60,12 @@
 \newcommand{\isasymsubseteq}{\emph{$\subseteq$}}
 \newcommand{\isasyminter}{\emph{$\cap$}}
 \newcommand{\isasymunion}{\emph{$\cup$}}
-\newcommand{\isasymInter}{\emph{$\bigcap$}}
-\newcommand{\isasymUnion}{\emph{$\bigcup$}}
+\newcommand{\isasymInter}{\emph{$\bigcap\,$}}
+\newcommand{\isasymUnion}{\emph{$\bigcup\,$}}
 \newcommand{\isasymsqinter}{\emph{$\sqcap$}}
 \newcommand{\isasymsqunion}{\emph{$\sqcup$}}
-\newcommand{\isasymSqinter}{\emph{$\bigsqcap$}}
-\newcommand{\isasymSqunion}{\emph{$\bigsqcup$}}
+\newcommand{\isasymSqinter}{\emph{$\bigsqcap\,$}}
+\newcommand{\isasymSqunion}{\emph{$\bigsqcup\,$}}
 \newcommand{\isasymbottom}{\emph{$\bot$}}
 \newcommand{\isasymdoteq}{\emph{$\doteq$}}
 \newcommand{\isasymequiv}{\emph{$\equiv$}}