Hi Aditya,

> \let\normaloverrightarrow\overrightarrow
> \unexpanded\def\overrightarrow{\normaloverrightarrow}
I haven't got a clue what this means, but it worked! Thanks!

Gr.

Matthijs