| From: Prabhakar Ragde (plragde at uwaterloo.ca) Date: Thu May 11 12:54:03 EDT 2006 |
|
![[logo]](/logo.png){kind=logo}
Matthias Felleisen wrote:
> \setspecialsymbol{list->vector}{{\arrowname{{\sf list}}{{\sf vector}}}}
So, I have to \setspecialsymbol every arrowed function I write? There
aren't many, but still. --PR
| Posted on the users mailing list. |
|