<--- 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