On Sun, Oct 27, 2002 at 12:53:59AM +0200, Dekel Tsur wrote: > - Draw < > and = using the type1 fonts - gives a more consistent look.
But pretty hackish solution, isn't it? > - Add space before ' (prime) Ok. > - Fix bug in MathSymbolInset::metrics : compute the value of 1em for the > default font I don't see a change other than moving a line up, but Ok. > - Display \neq as a macro \not= Does this look better? Anyway: I you feel that that's the way to go put it in. Andre' PS: I mentioned this already once: Your patches would be much more readable if they were not tagged as 'octet-stream' but as 'application/gzip' or similar. As it is I have to save and 'zcat' them manually. Fortunately enough you are calling all your patches 'patch.gz' so they do not eat too much diskspace in my /tmp dir... *sigh* -- Those who desire to give up Freedom in order to gain Security, will not have, nor do they deserve, either one. (T. Jefferson)
