[lucida] incompatible sizes of arrows (uparrow and downarrow)

[Karl Berry]

    The sizes of \uparrow (U+2191) and \downarrow (U+2193), 

Thanks much, Mikael. I will put this on the list for the next update.
No ETA at this point :(. --best, karl.