Characteristics of a Semantic Mathematical Document

• structured data
• specified in some specification
  • partial, human-interpreted, completed by discussions
• (very weakly) specified by a grammar (and checkable)
• but authors' have one goal...