On Wednesday 11 July 2007 17:27:55 Andre Poenitz wrote: > On Wed, Jul 11, 2007 at 02:02:47PM +0200, Nicolás wrote: > > If I write \overset{def}{=} I get the preview shown in the attached > > picture, that is 'def' does not appear above '=', but they both overlap. > > Right. > > Patch attached. > > Ok to commit?
OK. > Andre' -- José Abílio