# HG changeset patch
# User wenzelm
# Date 967572671 -7200
# Node ID 78f9bcd9585e85728208a636185fe286aab2feb4
# Parent  d53e4fd364488808241048b5daf466d3ae393f64
improved spacing of Sum, Prod, integral;
tuned;

diff -r d53e4fd36448 -r 78f9bcd9585e lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Tue Aug 29 20:10:39 2000 +0200
+++ b/lib/texinputs/isabellesym.sty	Tue Aug 29 20:11:11 2000 +0200
@@ -1,15 +1,14 @@
 %%
 %% $Id$
 %%
-%% definitions of many Isabelle symbols
+%% definitions of standard Isabelle symbols
 %%
 
 \usepackage{latexsym}
 %\usepackage{amssymb}
 %\usepackage[latin1]{inputenc}
 
-\newcommand{\bigsqcap}{\overline{|\,\,|}}  %just a hack
-%\def\textbrokenbar??? etc
+\newcommand{\bigsqcap}{\overline{|\,\,|}}  %an approximation ...
 
 \newcommand{\isasymspacespace}{~~}
 \newcommand{\isasymGamma}{$\Gamma$}
@@ -173,15 +172,15 @@
 \newcommand{\isasymemptyset}{\emph{$\emptyset$}}
 \newcommand{\isasymangle}{\emph{$\angle$}}
 \newcommand{\isasymnabla}{\emph{$\nabla$}}
-\newcommand{\isasymProd}{\emph{$\prod$}}
+\newcommand{\isasymProd}{\emph{$\prod\,$}}
 \newcommand{\isasymLeftrightarrow}{\emph{$\Leftrightarrow$}}
 \newcommand{\isasymUparrow}{\emph{$\Uparrow$}}
 \newcommand{\isasymDownarrow}{\emph{$\Downarrow$}}
 \newcommand{\isasymlozenge}{\emph{$\lozenge$}}
 \newcommand{\isasymlangle}{\emph{$\langle$}}
 \newcommand{\isasymrangle}{\emph{$\rangle$}}
-\newcommand{\isasymSum}{\emph{$\sum$}}
-\newcommand{\isasymintegral}{\emph{$\int$}}
+\newcommand{\isasymSum}{\emph{$\sum\,$}}
+\newcommand{\isasymintegral}{\emph{$\int\,$}}
 \newcommand{\isasymdagger}{\emph{$\dagger$}}
 \newcommand{\isasymsharp}{\emph{$\sharp$}}
 \newcommand{\isasymstar}{\emph{$\star$}}
@@ -232,7 +231,7 @@
 \newcommand{\isasymreal}{\emph{$\mathrm{I}\mkern-3.8mu\mathrm{R}$}}
 \newcommand{\isasymint}{\emph{$\mathsf{Z}\mkern-7.5mu\mathsf{Z}$}}
 
-%requires amssymb
+%require amssymb:
 \newcommand{\isasymlesssim}{\emph{$\lesssim$}}
 \newcommand{\isasymgreatersim}{\emph{$\gtrsim$}}
 \newcommand{\isasymlessapprox}{\emph{$\lessapprox$}}