27 Jan
2013
27 Jan
'13
9:24 a.m.
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