W3C home > Mailing lists > Public > www-math@w3.org > March 2001

Re: Generic symbol problems

From: Stan Devitt <jsdevitt@stratumtek.com>
Date: Wed, 7 Mar 2001 14:02:58 -0500
Message-ID: <001101c0a739$39b8f110$6961a8c0@devitt.local>
To: "William Arthur Naylor" <bill@scl.csd.uwo.ca>, <www-math@w3.org>
It seems as if you are mixing presentation and content markup at the wrong level.
I think you really mean what I show below, perhaps with the additional observation
that the "presentation" of 

<apply>
  <select/>
  <ci>x</ci>
  <ci>i</ci>
</apply>

is given by   

<msub>
  <mi>x</mi>
  <mi>i</mi>
</msub>

which  be communicated with a "syntax" construct such as

<semantics>
  <apply>
    <select/>
    <ci>x</ci>
    <ci>i</ci>
  </apply>
  <annotation-xml encoding="MathML-Presentation">
    <msub>
      <mi>x</mi>
      <mi>i</mi>
    </msub>
  </annotation-xml>
</semantics>

Stan D.

<math>
  <apply>
    <set/>
    <bvar>
      <c>i</c>
    </bvar>
    <condition>
      <apply>
        <and/>
        <apply>
          <geq/>
          <ci>i</ci>
          <cn>0</cn>
        </apply>
        <apply>
          <leq/>
          <ci>i</ci>
          <cn>n</cn>
        </apply>
        <apply>
          <in/>
          <ci>i</ci>
          <integers/>
        </apply>
      </apply>
    </condition>
    <apply>
      <select/>
      <ci>x</ci>
      <ci>i</ci>
    </apply>
    <ci/>
  </apply>
</math>


----- Original Message ----- 
From: "William Arthur Naylor" <bill@scl.csd.uwo.ca>
To: <www-math@w3.org>
Sent: Wednesday, March 07, 2001 1:27 PM
Subject: Generic symbol problems


> I would like to produce content MathML equivalent to the following
> LaTeX:
> 
> $/{x_1,\ldots ,x_n/}$
> 
> I have the following attempt:
> 
>   <math>
>     <set>
>       <bvar>
>         <ci><msub>
>           <mi>x</mi>
>           <mi>i</mi>
>         </msub></ci>
>       </bvar>
>       <condition>
>         <apply>
>           <and/>
>           <apply>
>             <leq/><cn>1</cn><ci>i</ci>
>           </apply>
>           <apply>
>             <leq/><ci>i</ci><ci>n</ci>
>           </apply>
>           <apply>
>             <in/><ci> i </ci><integers/>
>           </apply>
>         </apply>
>       </condition>
>     </set>
>   </math>
> 
> however I am not happy with the implied assumption that <ci>i</ci> is
> the same as <mi>i</mi>. I would be glad to here if anyone has any
> ideas or solutions with regard to this problem,
> 
> regards,
> 
> Bill Naylor.
> 
> 
Received on Wednesday, 7 March 2001 14:03:12 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 20 February 2010 06:12:50 GMT