12.3.6 Change of variables
See the
subst
command in Section
8.1.13
.