[Om] Multistep "equation" symbol?

[Alberto Gonz ález Palomo]

On Mon, 11 May 2009 23:01:40 +0200
Alberto González Palomo <Alberto.Gonzalez at matracas.org> wrote:

>[...]
> > > Some instances of a relation carry remarks explaining why
> > > that step holds.
> 
>       This is done with the "method" element inside "derive".

      Well, actually that would be for formal annotations.
      Most likely you mean natural language remarks: that would be
"omtext" elements between the "derive" elements.

      For natural language formulations of the steps, there is
the "CMP" element inside "derive".

      Cheers,
--
	Alberto González Palomo
	Toledo, España / Saarbrücken, Deutschland
	http://www.matracas.org