- From: David Carlisle <davidc@nag.co.uk>
- Date: Thu, 13 Apr 2000 15:14:24 +0100 (BST)
- To: leo@iems.nwu.edu
- CC: www-math@w3c.org
> I am not sure if this is the best forum, Probably it would be better on the om list om@openmath.org instructions for subscribing, and reaching the archives etc http://www.openmath.org/omsoc/activities/lists.html There are examples of OpenMath constructs in the content dictionaries In particular for the forall quantifier in logic which binds x in the expression forall x. P(x) see the example: http://www.nag.co.uk/projects/OpenMath/corecd/html/cd/quant1.html#forall David
Received on Thursday, 13 April 2000 10:15:32 UTC