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, but I still like to have consistency. > > 3. Perhaps the subpanel for latex arrows and AMS arrows should be joined? > Same for relations symbols etc.
I tried to do something about items 1 and 2, gzipped patch attached. -- Martin
diff.gz
Description: application/gunzip
