% TeX root = ../main.tex
{
\RestyleAlgo{plain}
\SetAlgoNoLine
\LinesNotNumbered 
\begin{algorithm}[H]
    $x = u$\,\;
    \lIf{$1 \leq x \leq 3$}{ $x = x+1 \oplus_\frac{1}{2} x = x$}
    \lWhile{$1 \leq x \leq 3$}{ $x = x+1 \oplus_\frac{1}{2} x = x$}
    \lWhile{$y \geq 0$}{ $y = y-1 \oplus_\frac{1}{2} y = y$}
\end{algorithm}
}