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 \inset #108

Closed angerhang closed 4 years ago

angerhang commented 8 years ago

In smglom/sets/source/union.en.tex we have $\inset{x}{B}$}}$ which yields 

<om:OMOBJ stex:srcref="Anonymous String#textrange(from=0;1,to=0;0)">
    <om:OMA>
        <om:OMS cd="set" name="inset" />
        <om:OMV name="&#x1D465;" />
        <om:OMV name="&#x1D435;" /></om:OMA>
</om:OMOBJ>
</om:OMFOREIGN>
</om:OMATP>
<om:OMS cd="OMDoc" name="infObj" /></om:OMATTR>
</om:OMBIND>
</om:OMOBJ>.</p>
</omdoc:CMP>

in the KWARC branch and 

<om:OMOBJ>
    <om:OMA>
        <om:OMS cd="set" name="inset" />
        <om:OMV name="&#x1D465;" />
        <om:OMV name="&#x1D435;" /></om:OMA>
</om:OMOBJ>
</om:FOREIGN>
</om:OMS>
<om:OMS cd="OMDoc" name="infObj" /></om:OMATP>
</om:OMATTR>
</om:OMA>
</om:OMOBJ>.</p>
</omdoc:CMP>

in the Bruce branch.

kohlhase commented 8 years ago

actually, you have to see the whole construction, which is 

$\bsetst{x}x{\text{$\inset{x}{A}$ or $\inset{x}{B}$}}$.

which gives 

<om:OMOBJ stex:srcref="smglom/sets/source/union.en.tex#textrange(from=3;47,to=4;59)">
  <om:OMBIND>
    <om:OMA>
      <om:OMS cd="set" name="bsetst"/>
      <om:OMV name="&#x1D465;"/>
    </om:OMA>
    <om:OMBVAR>
      <om:OMV name="&#x1D465;"/>
    </om:OMBVAR>
    <om:OMATTR>
      <om:OMATP>
    <om:OMS cd="OMDoc" name="verbalizes"/>
    <om:OMFOREIGN encoding="mtext">
      <om:OMOBJ stex:srcref="Anonymous String#textrange(from=0;1,to=0;0)">
        <om:OMA>
          <om:OMS cd="set" name="inset"/>
          <om:OMV name="&#x1D465;"/>
          <om:OMV name="&#x1D434;"/>
        </om:OMA>
      </om:OMOBJ>
      or
      <om:OMOBJ stex:srcref="Anonymous String#textrange(from=0;1,to=0;0)">
        <om:OMA>
          <om:OMS cd="set" name="inset"/>
          <om:OMV name="&#x1D465;"/>
          <om:OMV name="&#x1D435;"/>
        </om:OMA>
      </om:OMOBJ>
    </om:OMFOREIGN>
      </om:OMATP>
      <om:OMS cd="OMDoc" name="infObj"/>
    </om:OMATTR>
  </om:OMBIND>
</om:OMOBJ>

on the KWARC branch. This is the correct version. I remember that we made some changes in the OpenMath postprocessor in the KWARC branch to get this behavior. That may have to be ported to Bruce's branch. Can you check the differences?