Re: tx fonts [Re: [Texmacs-dev] txexa font]

[Joris van der Hoeven]

> > Notice also that there is a difference between cmex and txex.
> > I therefore doubt that the extension character for braces in txexa
> > will be compatible with the brace ends in cmex.
>
> Well, there is a definition of over/underbrace in LaTeX preceded by a
> comment saying something to the effect of "use txexa#32 instead of a
> \hbox".  Also, it seems to work fine in LaTeX, that is,
>
> \braceld\bracext...\bracext\braceru\bracelu\bracext...\bracext\bracerd
>
> lines up perfectly.

Also when using dpi=2400?

> It looks like txexa#32 was /designed/ to work with cmex#122-125.

This is strange; one would rather expect txexa#32 to be designed
for working with txex#122-125, which look slightly different as
cmex#122-125...