--- 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$}}