On Mon, 3 Sep 2001, Andre Poenitz wrote:
> On Sun, Sep 02, 2001 at 04:55:39AM -0300, Garst R. Reese wrote:
> > Seems like nobody has quite figured out how to get the new symbol fonts
> > properly set up.
>
> \int should be shown using the old fonts if the new can't be dfound. at
> least that was
On Sun, Sep 02, 2001 at 04:55:39AM -0300, Garst R. Reese wrote:
> Seems like nobody has quite figured out how to get the new symbol fonts
> properly set up.
\int should be shown using the old fonts if the new can't be dfound. at
least that was the therory and I saw it working once.
Andre'
--
A
> all commands are no more shown as symbol, for example:
>
> \int space
>
> is in the mathbox int in red.
> dvi-output works well.
Fixed.
Herbert Voss wrote:
>
> all commands are no more shown as symbol, for example:
>
> \int space
>
> is in the mathbox int in red.
> dvi-output works well.
>
> Herbert
>
> --
> http://www.educat.hu-berlin.de/~voss/lyx/
Seems like nobody has quite figured out how to get the new symbol fonts
prope
