Re: [tinyPATCH] \underleftarrow & \underrightarrow

[Andre Poenitz]

On Fri, Feb 08, 2002 at 10:42:16AM +0200, Martin Vermeer wrote:
> One that actually works instead... attached.

Too late. Already applied.

Andre'


-- 
Andr� P�nitz .............................................. [EMAIL PROTECTED]