On Friday 18 January 2002 8:27 pm, Martin Vermeer wrote:
> On Fri, Jan 18, 2002 at 04:43:28PM +0200, Dekel Tsur wrote:
>
> > 1. The relation/negated relations subpanels are way too tall.
> >
> > 2. The size of the symbols in the .xbm's of the AMS symbols are larger
than
> > the size of the sy
On Fri, Jan 18, 2002 at 10:27:14PM +0200, Martin Vermeer wrote:
> On Fri, Jan 18, 2002 at 04:43:28PM +0200, Dekel Tsur wrote:
>
> > 1. The relation/negated relations subpanels are way too tall.
> >
> > 2. The size of the symbols in the .xbm's of the AMS symbols are larger than
> > the size o
On Fri, Jan 18, 2002 at 04:43:28PM +0200, Dekel Tsur wrote:
> 1. The relation/negated relations subpanels are way too tall.
>
> 2. The size of the symbols in the .xbm's of the AMS symbols are larger than
> the size of the symbols in the .xbm's of the latex symbols.
> It is not too important, b
On Fri, Jan 18, 2002 at 04:43:28PM +0200, Dekel Tsur wrote:
> 1. The relation/negated relations subpanels are way too tall.
>
> 2. The size of the symbols in the .xbm's of the AMS symbols are larger than
> the size of the symbols in the .xbm's of the latex symbols.
> It is not too important, b
1. The relation/negated relations subpanels are way too tall.
2. The size of the symbols in the .xbm's of the AMS symbols are larger than
the size of the symbols in the .xbm's of the latex symbols.
It is not too important, but I still like to have consistency.
3. Perhaps the subpanel for latex