Re: Representing derivatives in plain-text content MathML input languages

Andrew Miller wrote:
>
> All examples refer to the representation of the following content MathML:
> <apply><eq/>
>   <apply><diff/>
>     <bvar><ci>t</ci></bvar>
>     <ci>x</ci>
>   </apply>
>   <ci>y</ci>
> </apply>

The same that before. Obvious input syntax mimics the structure of the
underlying data structure:

(eq (diff (bvar t) x) y)