Issue with 49 Sigma_additivity

[philsMINT]

render cases as branches!?
Link to Sigma_additivity, qID 49

[AndreG-P]

That's tough, I would say put 0 and 1 as two child's of {
Then 0 has one children called if (so does 1) and these if nodes has three children respectively for the if case.
@physikerwelt what do you think?

[AndreG-P]

Hold on. The is element of should be the parent of the element and the set. So each if node has one child (is element of and is not element of).

[AndreG-P]

@physikerwelt
That's a bigger problem, because latexml already knows \begin{cases}...\end{cases} and creates a tree with { as parent node with 2 children for each case. (in our example its 2 cases which creates 4 children of {).

An idea is to not using the & symbol in the cases-environment. If so, latexml fills the second node with

    <ci id="..." xref="...">otherwise</ci>

I tried to delete these nodes via DRMF.xsl but it looks like that in the moment when DRMF.xsl gets applied, there is no <ci> element in the tree with text otherwise.

When I delete the ci-otherwise blocks manually and use the technique I explained above (not using & symbol) I got the following tree. However, the cases-block has no QID and the representation-tree is not correct since the & symbol is missing.

[AndreG-P]

There is content MML annotation for such cases. I don't know yet how to force latexml to use this.
https://www.w3.org/TR/MathML3/chapter4.html#contm.piecewise