Am 13.02.2005 um 21:20 schrieb Doug Way:
>
> There are a few aspects of the new look that we may need to revert or 
> fix, such as the default code font which doesn't have left assignment 
> arrows.

Since we now finally move to proper font support, I'd rather not mangle 
underscores again. I've written a small package to patch the old  fonts 
(make arrow into underscores) and replace _ in the code by := (see 
http://source.impara.de/underscore.html). We still could add a proper 
unicode left-arrow back ...

- Bert -