[om] a couple of questions

[David Carlisle]

> - 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. 

David

_____________________________________________________________________
This message has been checked for all known viruses by Star Internet delivered
through the MessageLabs Virus Control Centre. For further information visit
http://www.star.net.uk/stats.asp
--
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