Term substitution

This dialog box asks you to give a term. The terms are entered in Scheme format. The grammar is:

<term> ::= <constant> | <var> | (<function> <term> <term> <term>....)

<function> ::= f, g, etc. (any symbol)
<var> ::= x, y, etc. (any symbol)
<constant> ::= s, t, etc. (any symbol)


Examples

x stands for... x.
(f x) stands for f(x).
(f x y) stands for f(x, y).
(g (f x) (h x y a)) stands for g(f(x), h(x, y, a)).