// code is currently directly inside InsetFormula