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