Problems and Solutions for Markup for Mathematical Examples and Exercises

Abstract. This paper reports some deficiencies of the current status of the markup for mathematical documents, OMDoc, and proposes extensions. The observations described arose from trying to represent mathematical knowledge with the goal to present it according to several wellestablished teaching strategies for mathematics through the learning environment ActiveMath. The main concern here is with examples, exercises, and proofs