formula for jove editor.