Mathematical Semantic Markup in a Wiki: The Roles of Symbols and Notations