Re: [NTG-context] $\to$: addendum

<--- On Feb 22, andrea valle wrote --->

Ah, also $\rightarrow$ doesn't work

I do not understand. Both $\rightarrow$ and $\to$ work fine for me. -- Aditya Mahajan, EECS Systems, University of Michigan http://www.eecs.umich.edu/~adityam || Ph: 7342624008