Re: small samples

Ron Whitney wrote:
> 
> I'm collecting a basic set of notational samples which we might all
> use as reference.

This is a good idea.

Just a couple of notes about the MINSE forms:

> Item 1 / simple subscript
> -------------------------
> 
> TeX:            x_1
> Wolfram:        x_1
> MINSE:          x;1 or x .dnidx 1

The current name for the ; operator is "idx", so that'd be "x .idx 1".
There are actually three options --

    'idx(x,1)        x .idx 1        x;1

-- the second of which is introduced by the shortcut of infix notation,
and the third by the further shortcut of an operator symbol.

> Item 2 / nested subscript
> -------------------------
> 
> TeX:            s_{i_k}
> Wolfram:        s_i_k
> MINSE:          s;(i;k) or s .dnidxa (i .dnidxb k)

I'm not very clear on why you would need to separate the two indices
by using different compounds here, but as it stands the two alternatives
aren't equivalent.  Probably most equivalent to the other examples would be:

    'idx(s, 'idx(i, k))        s .idx (i .idx k)        s;(i;k)
 
> Item 3 / simple superscript
> ---------------------------
> 
> TeX:            x^2
> Wolfram:        x^2
> MINSE:          x*2 or 'exp(x,2)

That should be caret for exponent, same as TeX or Wolfram.
(Asterisk is product).

> Item 4 / subscript and superscript
> ----------------------------------
> 
> TeX:            x_1^2
> Wolfram:        x_1%2 or x^2%1
> MINSE:          (x;1)*2 or 'exp(x;1,2) or 'exp(x .dnidx 1,2)

Same thing; should be (x;1)^2 using operator symbols.

 
Ping (Ka-Ping Yee): Developer, Alias|Wavefront Inc. (Tokyo)