Option variable
derivsubst
Default value: false
false
When derivsubst is true, a non-syntactic substitution such as subst (x, 'diff (y, t), 'diff (y, t, 2)) yields 'diff (x, t).
true
subst (x, 'diff (y, t), 'diff (y, t, 2))
'diff (x, t)