Ticket #671: plustimes.omdoc

<?xml version="1.0" encoding="UTF-8"?>
<omdoc xml:id="binomial-ntn-omdoc" modules="CD" version="1.8" xmlns="http://omdoc.org/ns"
  xmlns:om="http://www.openmath.org/OpenMath" xmlns:dc="http://purl.org/dc/elements/1.1/"
  xmlns:cc="http://creativecommons.org/ns" xmlns:m="http://www.w3.org/1998/Math/MathML"
  xmlns:mcd="http://www.w3.org/ns/mathml-cd" >
  <theory xml:id="sets-operations">
  <notation>
    <prototype>
      <m:apply>
        <m:csymbol cd="arith1" mcd:cr="fun">plus</m:csymbol>
        <exprlist name="args">
          <expr name="arg"/>
        </exprlist>
      </m:apply>
    </prototype>
    <rendering precedence="500">
      <m:mrow>
        <m:mo mcd:egroup="fence" fence="true">(</m:mo>
        <iterate name="args" precedence="500">
          <separator><m:mo mcd:cr="fun">+</m:mo></separator>
          <render name="arg"/>
        </iterate>
        <m:mo mcd:egroup="fence" fence="true">)</m:mo>
      </m:mrow>
    </rendering>
  </notation>

  <notation>
    <prototype>
      <m:apply>
        <m:csymbol cd="arith1" mcd:cr="fun">times</m:csymbol>
        <exprlist name="args">
          <expr name="arg"/>
        </exprlist>
      </m:apply>
    </prototype>
    <rendering precedence="400">
      <m:mrow>
        <m:mo mcd:egroup="fence" fence="true">(</m:mo>
        <iterate name="args" precedence="400">
          <separator>
            <m:mo mcd:cr="fun">⁢</m:mo>
          </separator>
          <render name="arg"/>
        </iterate>
        <m:mo mcd:egroup="fence" fence="true">)</m:mo>
      </m:mrow>
    </rendering>
  </notation>

  <omtext>
  <CMP>
    <math xmlns="http://www.w3.org/1998/Math/MathML">
    <apply><csymbol cd="arith1">plus</csymbol>
      <apply><csymbol cd="arith1">times</csymbol>
        <ci>a</ci>
        <ci>x</ci>
      </apply>
      <ci>b</ci>
    </apply>
    </math>
  </CMP>
  </omtext>

  <omtext>
  <CMP>
    <math xmlns="http://www.w3.org/1998/Math/MathML">
    <apply><csymbol cd="arith1">times</csymbol>
      <apply><csymbol cd="arith1">plus</csymbol>
        <ci>a</ci>
        <ci>x</ci>
      </apply>
      <ci>b</ci>
    </apply>
    </math>
  </CMP>
  </omtext>

  </theory>
</omdoc>