Andre Poenitz 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?Looks much better here as well, so OK from me. Jürgen
