Towards Semantic Markup of Mathematical Documents via User Interaction