-----Paul Libbrecht <[email protected]> wrote: ----- >What about... another symbol? >Just one that says something such as "the expression on the left *can > >be* computed with the expression on the right" ?
Paul, Something that just occurred to me is that the OM spec already elucidates the concept for what we are talking about. I think we're talking about an OM->OM Phrasebook here. When an implementation is required on a host system, the Phrasebook is the device specified to match symbol to executable code. Why can it not be the same here? Obviously, an OM->OM Phrasebook can only be used for the case where the new symbol is completely defined in terms of existing/well known symbols. Such a device should be portable between systems. What do you think? BTW: I've sent a couple of messages to the list with GIF image attachments, but I think the listserver ate them. Is there a more appropriate way to share visual information (e.g. UML diagram of the OM object model)? Thanks, Bryce _______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
