\add(\a \a)\def(a 0 1)