Re: Samples from the Internet

Hum! Since definitionURL attribute is empty, there is no way to extract
meaning for

<mml:apply>
 <mml:ci definitionURL="" encoding="">Equilibrium</mml:ci>
 <mml:apply>
  <mml:times definitionURL="" encoding=""/>
  <mml:cn type="integer" base="10" definitionURL="" encoding="">2</mml:cn>
  <mml:apply>
  ...

therefore I think that that large piece of code is useless.

Maybe it would be rewritten to

<mml:apply>
 <mml:ci type='fn'>Equilibrium</mml:ci>
 <mml:apply>
  <mml:times definitionURL="" encoding=""/>
  <mml:cn type="integer" base="10" definitionURL="" encoding="">2</mml:cn>
  <mml:apply>
  ...

somewhat as in the f(x) case. However,

<apply>
 <ci type='fn'>f</ci>
 <ci>x</ci>
</apply>

denotes an abstract function for abstract x. Whereas sample i got is not
abstract but a 'Boolean' version of an standard algebraic equality (= arg1
arg2). In 'Boolean' algebra it is verified a + b = ab. and i think that
usage of the standard times function <mml:times definitionURL=""
encoding=""/> without definitionURL is another flaw of the code -but this
is of course discussible-.

That i mean is the function Equilibrium = Equilibrium(arg1, arg2) is not a
synonim for generic f = f(x) but an _explicit_ function as the Christoffel
function cited in the spec.

Therefore, i still think that a <csymbol> with a full definitionURL would
be more correct.