Definition:Substitution (Formal Systems)/Notation

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

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 \left\{{\mathbf A \gets \mathbf A'}\right\}$
 * $\mathbf B \left[{\mathbf A' \mathbin{//} \mathbf A}\right]$
 * $\mathbf B \left({\mathbf A \leadsto \mathbf A'}\right)$