| From: Matthias Felleisen (matthias at ccs.neu.edu) Date: Thu May 11 12:35:26 EDT 2006 |
|
![[logo]](/logo.png){kind=logo}
From HtDP's style file:
\def\anarrow{$\rightarrow$}
\setspecialsymbol{->}{~\anarrow~} %% replace for HTML
%% #1, #2 are plain IDs
%% create #1->#2 as a special symbol
\def\arrowname#1#2{\mbox{#1}{\anarrow}\mbox{#2}}
\setspecialsymbol{list->vector}{{\arrowname{{\sf list}}{{\sf vector}}}}
Due to tex2page I couldn't abstract more. -- Matthias
| Posted on the users mailing list. |
|