Next:
Special cases of substitution
Up:
Substitution
Previous:
Note 1:
Node 2:
you can substitute implicitly (e.g.
sub
)