Andre Poenitz <[EMAIL PROTECTED]> writes: | On Sat, Dec 07, 2002 at 09:34:13PM +0000, John Levon wrote: | > > Because there are not mentioned in lib/symbols | > | > how do I do this. | | Patch attached. Note that the \dots case was in fact a bit more convoluted | than I expected. | | > are you ok with a bugzilla entry ? | | I think this can go in as-is. | | It also fixes the wrong drawing of \dotso, which nobody has noticed so far. | | Lars?
Ok.
--
Lgb
