5.18.5 Change of variables :
subst
See the
subst
command in the section
5.12.16
.