Right now, the formal methods group does all our work with pencil and paper. But shouldn't we be using an electronic format? What experience do folks have with MathML? -- Jason Dusek