[om] a couple of questions

David Carlisle davidc at nag.co.uk
Tue Apr 17 15:18:09 CEST 2001

> - how to express an element of AxB? I don't see "tuple" anywhere.
> Shall I just use a list?

Yes, I think so. At least I think that is the right thing to do in the
MathML CD Group. It may be that you do want an explicit constructor,
perhaps in a set2 CD for more explicit control?

> The only thing that's important to me about "a" is its name.
I think it's OK to use OMV here. 


This message has been checked for all known viruses by Star Internet delivered
through the MessageLabs Virus Control Centre. For further information visit
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems

More information about the Om mailing list