Editing mathematical content and presentation markup in interactive mathematical documentsSamuel S. Dooley2002ISSAC 2002