[dev-context] overrightarrow and underrightarrow give the same result

[luigi scarso]

$\overrightarrow{ab}$
$\underrightarrow{ab}$

both give the same result  ($\underrightarrow{ab}$)


-- 
luigi
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ntg.nl/pipermail/dev-context/attachments/20121025/d28bc967/attachment.html>