Thanks to Stavros Macrakis for catching my mistake; let me try again (defprop %signum ((x) ((mtimes) 2 (($dirac_delta) x))) grad) Some say (for example B. Roos "Analytic Functions and Distributions in Physics and Engineering," page 308) that diff(abs(x),x) = signum(x). Others may disagree. Barton