Not sure if this is related in any way, but \overset behaves weirdly with the equal sign: \startformula \overset{weird}{=} \stopformula (workaround/solution is \overset{weird}{\mathop{=}}, or \mathop{=}^{weird})