[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 mailing list