search

slatex / LaTeXML-Plugin-sTeX

A LaTeXML Plugin for Semantic LaTeX (sTeX)
LaTeX Project Public License v1.3c
2 stars 3 forks source link

Sync branch differs in \bsetst #107

Closed angerhang closed 4 years ago

angerhang commented 8 years ago

in mglom/sets/source/powerset.en.tex, there is a snippet 

$\bsetst{S}S{\sseteq{S}{A}}$.

which yields 

< om: OMBIND>
    < om: OMA>
        < om: OMS cd="set" name="bsetst" />
        < om: OMV name="&#x1D446;" />
        < /om:OMA>
            <om:OMBVAR>
                <om:OMV name="&#x1D446;" />
                < /om:OMBVAR>
                    <om:OMA>
                        <om:OMS cd="subsupset" name="subset" />
                        < om: OMV name="&#x1D446;" />
                        < om: OMV name="&#x1D434;" />
                        < /om:OMA>
                            </om: OMBIND>
                            < /om:OMOBJ>.</p>
                                < /omdoc:CMP>

with the KWARC branch and 

< om: OMOBJ>
    < om: OMA>
        < om: OMS cd="arithmetics" name="multiplication" />
        < om: OMSTR> \bsetst
            < /om:OMSTR>
                <om:OMV name="&#x1D446;" />
                < om: OMV name="&#x1D446;" />
                < om: OMSTR> \sseteq
                    < /om:OMSTR>
                        <om:OMV name="&#x1D446;" />
                        < om: OMV name="&#x1D434;" />
                        < /om:OMA>
                            </om: OMOBJ> .
                            < /p>
                                </omdoc: CMP>

with the sync branch. What do we want to do with this?

kohlhase commented 8 years ago

both are wrong, since $\bsetst{S}S{\sseteq{S}{A}}$. is misused. But Bruce's branch is much worse. I will fix this and come back to you.

kohlhase commented 8 years ago

hmmm, there is an underlying error in the OMBIND (see #109)