1.1 --- a/lib/texinputs/isabellesym.sty	Tue Aug 29 20:10:39 2000 +0200
     1.2 +++ b/lib/texinputs/isabellesym.sty	Tue Aug 29 20:11:11 2000 +0200
     1.3 @@ -1,15 +1,14 @@
     1.4  %%
     1.5  %% $Id$
     1.6  %%
     1.7 -%% definitions of many Isabelle symbols
     1.8 +%% definitions of standard Isabelle symbols
     1.9  %%
    1.10  
    1.11  \usepackage{latexsym}
    1.12  %\usepackage{amssymb}
    1.13  %\usepackage[latin1]{inputenc}
    1.14  
    1.15 -\newcommand{\bigsqcap}{\overline{|\,\,|}}  %just a hack
    1.16 -%\def\textbrokenbar??? etc
    1.17 +\newcommand{\bigsqcap}{\overline{|\,\,|}}  %an approximation ...
    1.18  
    1.19  \newcommand{\isasymspacespace}{~~}
    1.20  \newcommand{\isasymGamma}{$\Gamma$}
    1.21 @@ -173,15 +172,15 @@
    1.22  \newcommand{\isasymemptyset}{\emph{$\emptyset$}}
    1.23  \newcommand{\isasymangle}{\emph{$\angle$}}
    1.24  \newcommand{\isasymnabla}{\emph{$\nabla$}}
    1.25 -\newcommand{\isasymProd}{\emph{$\prod$}}
    1.26 +\newcommand{\isasymProd}{\emph{$\prod\,$}}
    1.27  \newcommand{\isasymLeftrightarrow}{\emph{$\Leftrightarrow$}}
    1.28  \newcommand{\isasymUparrow}{\emph{$\Uparrow$}}
    1.29  \newcommand{\isasymDownarrow}{\emph{$\Downarrow$}}
    1.30  \newcommand{\isasymlozenge}{\emph{$\lozenge$}}
    1.31  \newcommand{\isasymlangle}{\emph{$\langle$}}
    1.32  \newcommand{\isasymrangle}{\emph{$\rangle$}}
    1.33 -\newcommand{\isasymSum}{\emph{$\sum$}}
    1.34 -\newcommand{\isasymintegral}{\emph{$\int$}}
    1.35 +\newcommand{\isasymSum}{\emph{$\sum\,$}}
    1.36 +\newcommand{\isasymintegral}{\emph{$\int\,$}}
    1.37  \newcommand{\isasymdagger}{\emph{$\dagger$}}
    1.38  \newcommand{\isasymsharp}{\emph{$\sharp$}}
    1.39  \newcommand{\isasymstar}{\emph{$\star$}}
    1.40 @@ -232,7 +231,7 @@
    1.41  \newcommand{\isasymreal}{\emph{$\mathrm{I}\mkern-3.8mu\mathrm{R}$}}
    1.42  \newcommand{\isasymint}{\emph{$\mathsf{Z}\mkern-7.5mu\mathsf{Z}$}}
    1.43  
    1.44 -%requires amssymb
    1.45 +%require amssymb:
    1.46  \newcommand{\isasymlesssim}{\emph{$\lesssim$}}
    1.47  \newcommand{\isasymgreatersim}{\emph{$\gtrsim$}}
    1.48  \newcommand{\isasymlessapprox}{\emph{$\lessapprox$}}