Definition:Substitution (Formal Systems)/Notation

Notation for Substitution in the context of Formal Systems
There are many alternative notations for $\map {\mathbf B} {\mathbf A' \mathbin {//} \mathbf A}$.

These mainly concern the style of the brackets, and sometimes an alternative symbol (usually $\gets$ or a single $/$) for the slashes $//$.

For example:


 * $\mathbf B \set {\mathbf A \gets \mathbf A'}$
 * $\mathbf B \sqbrk {\mathbf A' \mathbin {//} \mathbf A}$
 * $\map {\mathbf B} {\mathbf A \leadsto \mathbf A'}$