next up previous contents index
Next: Alpha Conversion Up: Notation used in Conversion Previous: Notation used to specify   Contents   Index

Notation used to specifiy substitution

\fbox{
\parbox{12.5cm}{
{\sc Notation 2 (substitution operator)}
\begin{center...
...$\ \\
\hspace{4.3cm} depending on the direction of conversion
\end{center} }
}


domain access counter Georg P. Loczewski 2004-03-05