It's all standard TeX fonts, right? Robby On 10/7/07, Shriram Krishnamurthi <sk at cs.brown.edu> wrote: > For all that effort, I'd have gotten prettier lambda's. (-: > > Shriram > _________________________________________________ > For list-related administrative tasks: > http://list.cs.brown.edu/mailman/listinfo/plt-scheme >