- From: David Carlisle <davidc@nag.co.uk>
- Date: Tue, 26 May 2009 09:24:51 +0100
- To: andreas.strotmann@ualberta.ca
- Cc: www-math@w3.org
> x stands for *the* x-axis, changing it to y or even z would change the > meaning Such variables are free variables, if you used <ci>x</ci> in that sense and used it as a bound variable, you'd be wrong. > In summary, alpha conversion is dangerous for projects like WebALT, Not if the variable has been explictly marked up by the author of the expression as being bound. David ________________________________________________________________________ The Numerical Algorithms Group Ltd is a company registered in England and Wales with company number 1249803. The registered office is: Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom. This e-mail has been scanned for all viruses by Star. The service is powered by MessageLabs. ________________________________________________________________________
Received on Tuesday, 26 May 2009 08:25:31 UTC