Conference paperEditing mathematical content and presentation markup in interactive mathematical documents