// code is currently directly inseide InsetFormula