\begin{definition}[Definition:Replacement Operation]
The '''replacement operation''' on two variables $a$ and $b$ is denoted:
:$a \gets b$
and is interpreted as:
:the value of variable $a$ is to be replaced by the current value of variable $b$, while leaving the value of variable $b$ the same.
\end{definition}