W3C home > Mailing lists > Public > w3c-math-erb@w3.org > April 1996

parsing dx buried in integrands

From: Bruce Smith <bruce@wolfram.com>
Date: Sun, 28 Apr 1996 13:24:12 -0700
Message-Id: <199604281324.1250@uvea.wolfram.com>
To: raman@adobe.com
Cc: w3c-math-erb@w3.org
[was: Re: subscripts on operators (etc)]

> In my collection of examples, you will find a rather inoquous looking
> integral that I currently know of no clean way of parsing.
> Consider the expression:
> \int {\dx \over x}  =  \log x
> The problems arise because the written notation does not mention the
> "1" which is the numerator of the integrand. 

When Neil convinced me by phone that parsing of embellished operators
was possible, he also explained how to handle the above example.
Assuming \over is an infix operator for "fraction-making", and with
the other syntax assumptions from Neil's letter, this can be

    &int; &dd; x \over x = \log x

which parses in the same way as

    {&int; {{&dd; x} \over x}} = {\log x}

because &dd; (a one-character token) is a prefix operator,
and so is &int;.

(If we wanted, \over could instead be another new "character", &over;.)
Received on Sunday, 28 April 1996 16:46:42 UTC

This archive was generated by hypermail 2.4.0 : Saturday, 15 April 2023 17:19:56 UTC