| ... | ... | @@ -183,3 +183,66 @@ Semantically enriched MathML: |
|
|
|
</math>
|
|
|
|
|
|
|
|
```
|
|
|
|
|
|
|
|
The latter contains an implicit operation, resulting in an empty mrow. The question is: What should we do with elements that are introduced by the semantic interpretation but not part of the original MathML. All these are invisible characters: invisible times, invisible comma, function application.
|
|
|
|
|
|
|
|
## Implicit multiplication
|
|
|
|
|
|
|
|
To illustrate the point clearer:
|
|
|
|
|
|
|
|
Original MathML:
|
|
|
|
```html
|
|
|
|
<math>
|
|
|
|
<mi>a</mi>
|
|
|
|
<mi>b</mi>
|
|
|
|
</math>
|
|
|
|
|
|
|
|
```
|
|
|
|
|
|
|
|
Semantic Tree:
|
|
|
|
```html
|
|
|
|
<stree>
|
|
|
|
<infixop role="implicit" id="3">
|
|
|
|
|
|
|
|
<content>
|
|
|
|
<operator role="multiplication" id="2"></operator>
|
|
|
|
</content>
|
|
|
|
<children>
|
|
|
|
<identifier role="latinletter" font="italic" id="0">a</identifier>
|
|
|
|
<identifier role="latinletter" font="italic" id="1">b</identifier>
|
|
|
|
</children>
|
|
|
|
</infixop>
|
|
|
|
</stree>
|
|
|
|
|
|
|
|
```
|
|
|
|
|
|
|
|
Semantically enriched MathML:
|
|
|
|
```html
|
|
|
|
<math>
|
|
|
|
<mrow semantic-type="infixop" semantic-role="implicit" id="3" semantic-content="2" semantic-children="0,1">
|
|
|
|
<mi semantic-type="identifier" semantic-role="latinletter" id="0" semantic-parent="0">a</mi>
|
|
|
|
<mrow semantic-type="operator" semantic-role="multiplication" id="2" semantic-children="" semantic-operator="infixop," semantic-parent="2"/>
|
|
|
|
<mi semantic-type="identifier" semantic-role="latinletter" id="1" semantic-parent="1">b</mi>
|
|
|
|
</mrow>
|
|
|
|
</math>
|
|
|
|
|
|
|
|
```
|
|
|
|
|
|
|
|
While in the semantic tree a new content operator is introduced, there is no equivalent MathML element. Do empty mrows really matter? This is the rendering:
|
|
|
|
|
|
|
|
|
|
|
|
Original MathML:
|
|
|
|
<math>
|
|
|
|
<mi>a</mi>
|
|
|
|
<mi>b</mi>
|
|
|
|
</math>
|
|
|
|
|
|
|
|
|
|
|
|
Semantically enriched MathML:
|
|
|
|
<math>
|
|
|
|
<mrow semantic-type="infixop" semantic-role="implicit" id="3" semantic-content="2" semantic-children="0,1">
|
|
|
|
<mi semantic-type="identifier" semantic-role="latinletter" id="0" semantic-parent="0">a</mi>
|
|
|
|
<mrow semantic-type="operator" semantic-role="multiplication" id="2" semantic-children="" semantic-operator="infixop," semantic-parent="2"/>
|
|
|
|
<mi semantic-type="identifier" semantic-role="latinletter" id="1" semantic-parent="1">b</mi>
|
|
|
|
</mrow>
|
|
|
|
</math> |
|
|
\ No newline at end of file |
