13.3.6 Change of variables
See the
subst
command in Section
9.1.13
.