Dear list,

\starttext
text $\overrightarrow{OP}$ text
\stoptext

gives smaller letters since some time ago under the arrow. See the
attached pdf files for the output of different versions of context
(test.pdf is compiled with the latest beta).

I think the look in test20121210.pdf is the right one.

/Mikael