W3C home > Mailing lists > Public > www-math@w3.org > April 2000

Re: binding in openmath

From: David Carlisle <davidc@nag.co.uk>
Date: Thu, 13 Apr 2000 15:14:24 +0100 (BST)
Message-Id: <200004131414.PAA13634@nag.co.uk>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 20 February 2010 06:12:49 GMT