> > This seems to be a problem with the right brace character. Some other
> > characters also have it. Putting extra marks in seems to be overkill;
> > perhaps someone could fix the font?
> 
> maybe it's not that simple... for example, it often happens with

I think it is that simple in the case of the brace character, because just
typing ordinary braces shows this problem (or more commonly, TeX text).

-- 
http://www.cl.cam.ac.uk/users/rrt1001/ | maxim, n.  wisdom for fools

-- 
                +++ the lyx project user mailing list +++
                To unsubscribe from this list send mail to 
                         [EMAIL PROTECTED]
                    with the **Subject** unsubscribe.

Reply via email to