Abstraction Operator
See
Lambda Calculus
© 1996-9
Eric W. Weisstein
1999-05-25