13.3.6  Change of variables

See the subst command in Section 9.1.13.