On Wed, Jul 02, 2003 at 12:52:02PM +0100, John Levon wrote: > On Wed, Jul 02, 2003 at 09:56:01AM +0200, Andre Poenitz wrote: > > > > Hi, I have the following problem: I want to insert a percentage character > > > (%) in a formula. When I am in a formula and I insert this character, > > > somethings happen which is not the appearing of this character. Is this a > > > bug? > > > > Depends on how close you live to LaTeX. > > Since it's not being coloured red to indicate it's latex code, I would > call it simply a bug. How hard is it to do "\%" when user types "%" ?
Not too hard, given that we started messing around with \{ <-> { conversions already. Andre' -- Those who desire to give up Freedom in order to gain Security, will not have, nor do they deserve, either one. (T. Jefferson or B. Franklin or both...)