W3C home > Mailing lists > Public > www-math@w3.org > August 1998

Dictionary

From: Kostya Serebriany <kostya_silver@yahoo.com>
Date: Mon, 10 Aug 1998 05:07:21 -0700 (PDT)
Message-ID: <19980810120721.19010.rocketmail@send1d.yahoomail.com>
To: www-math@w3.org
Dear All.
I have a problem using operator dictionary.

When I read
    <mo>(</mo>
    <mfrac>
      <mrow>
        <mi>x</mi>
      </mrow>
      <mrow>
        <mi>y</mi>
      </mrow>
    </mfrac>
    <mo>)</mo>
I know that <mo>(</mo> is the opening fence and <mo>)</mo> is the
corresponding closing fence. (I get this information from operator
dictionary)
So I have to render '\frac{x,y}' in parenthesis which are larger then
if render 'x'.

The same if I read
    <mo>&LeftAngleBracket;</mo>
    <mfrac>
      <mrow>
        <mi>x</mi>
      </mrow>
      <mrow>
        <mi>y</mi>
      </mrow>
    </mfrac>
    <mo>&RightAngleBracket;</mo>

But if I read this (made by WebEq)
  <mo>&langle;</mo>
    <mfrac>
      <mrow>
        <mi>x</mi>
      </mrow>
      <mrow>
        <mi>y</mi>
      </mrow>
    </mfrac>
 <mo>&rangle;</mo>
I will know nothing about stretching of '<' and '>'.

Though &langle; and &LeftAngleBracket; have same unicod numbers only
one of them is listed in dictionary.
If I want to handle &langle; as a fence I need to find it's unicod
number, then find all other entities with that unicod number and,
finaly find those in dictionary. Isn't it very complicated?

My idea is to make dictionary in a different way.

For strings like 'max' or '++' we may leave it unchanged.

For single characters and &Entities; we should supply unicod numbers.
Most of them allready have such, but some don't have. (I have posted a
list operators not listed in entity listing; many of them are found at
       http://www.ams.org/html-math/wolframchartables/privatezone.html
      
and at
http://www.ams.org/html-math/wolframchartables/assignedzone.html
but &RightSkeleton; and many others seem to be completely forgotten)
Then rewrite a table in this manner:
UNICOD fence stretch lspace ...
 


Kostya


_________________________________________________________
DO YOU YAHOO!?
Get your free @yahoo.com address at http://mail.yahoo.com
Received on Monday, 10 August 1998 08:13:46 GMT

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