Definition:Substitution (Formal Systems)/Notation

Notation for Substitution in the context of Formal Languages

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'}$