Various tests for semantics

michael@0: michael@0: michael@0: michael@0: Various tests for semantics michael@0: michael@0: michael@0: michael@0: michael@0:

Empty semantics (invalid):

michael@0:

annotation (invalid): $annotation$

michael@0:

annotation-xml (invalid): $annotation-xml$

michael@0:

presentation MathML (no annotations): $presentation MathML$

michael@0:

content MathML (no annotations): $content MathML$

michael@0:

presentation MathML ; annotation: $presentation MathML$

michael@0:

presentation MathML ; annotation-xml: $presentation MathML$

michael@0:

content MathML ; annotation: $annotation$

michael@0:

content MathML ; annotation-xml: $annotation-xml$

michael@0: michael@0: