[Om] Multistep "equation" symbol?
Alberto Gonz ález Palomo
Alberto.Gonzalez at matracas.org
Mon May 11 23:34:31 CEST 2009
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".
Alberto González Palomo
Toledo, España / Saarbrücken, Deutschland
More information about the Om