> The replacement of $INTEGRATE with %INTEGRATE.
$integrate is the verb form; %integrate the noun form.
integrate(x,x) is represented as (($integrate) x x)
'integrate(x,x) is represented as ((%integrate) x x)
It may seem like a strange way of doing quoting -- as opposed to
'(integrate(x,x)) == ((mquote) ...) -- but it means that the *function
application* doesn't happen even if the arguments are evaluated.
-s