# operator embellishment

• To: w3c-math-erb@w3.org
• Subject: operator embellishment
• From: Ron Whitney <RFW@MATH.AMS.ORG>
• Date: Wed, 10 Jul 1996 07:41:05 -0400 (EDT)
• From w3c-math-erb-request@www10.w3.org Wed Jul 10 07: 41:19 1996
• Mail-system-version: <MultiNet-MM(369)+TOPSLIB(158)+PMDF(5.0)@MATH.AMS.ORG>
• Message-id: <836998865.54363.RFW@MATH.AMS.ORG>

Bruce writes:

> However, it might be necessary for one of the arguments to an embellisher
> (the operator or the e.g. subscript) to itself be, or contain,
> an embellished operator. This may be rarely desired, but it is allowed
> in our proposal, and could be expressed, for example, by
>
>         a {+_2}_3 b
> for
>         a +   b
>            2
>             3
> or by
>
>         a +_{b +_2 c} d
> for
>         a +       d
>            b +  c
>               2
>
> [which are admittedly extremely contrived examples].

Following is perhaps a more "natural" example, insofar as it
occurs in our literature and is in the first journal issue I
pulled from the shelves.  I'll use TeX coding:

Now the functor which sends an $R\otimes_S S_n$-module $M$ to
$R_{m,n}\otimes_{R\otimes_S S_n}M$ is the composition of ...

(So Bruce's example isn't "extremely contrived" at all --- it has the
same form as this "real" example.)

-Ron