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 
instructions for subscribing, and reaching the archives etc

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:


Received on Thursday, 13 April 2000 10:15:32 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:27:29 UTC