[Om3] Language Dictionaries (Was: Re: Initializing OM3 at 2013 Process)

[David Carlisle]

On 05/05/2014 16:57, Lars Hellström wrote:
>
> A quite reasonable position. But then the standard should explicitly
>  state that OMF is provided as a convenience, and suggest the
> constructor symbol solution for people who want other types of
> floats.

yes, probably true:-) also relevant is this CD of course

http://www.openmath.org/cd/bigfloat1.xhtml

David