On Fri, Jun 08, 2007 at 04:51:33PM +0200, Leuven, E. wrote: > Bo Peng wrote: > >> what is the point of $ $ and $\ $ ? > > > > A method to force extra spaces, and more likely, entered by accident > > (and then it is impossible to remove them). > > so the inset should be dissolved when these are entered...?
I don't tink it is worth adding special code for such a corner case (especially when the resolution is disputable). I never ever had the problem of having an emptyh math inset hanging around, and even if I had it'd probably been there for good reason (like "I entered it") Andre'