[Prev][Next][Index][Thread]

Re: binding in openmath




> 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


References: