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

[Nix N. Nix]

On Tue, 2003-05-13 at 06:37, Joris van der Hoeven wrote:
> Can you please try to figure out how to produce the t1xr, etc. fonts?
> That might be a step forward to the production of pdf files.
> I never knew how to transform virtual fonts into tfm/pk fonts
> which are understood by TeXmacs.

OK ... I'll give it a shot.

> 
> 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.

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