I keep getting an error...
! Undefined control sequence. \State $v.bool \gets v.bool \OR
Even though \AND
works. Is there something I'm missing. A little late for me to switch to a different package but seems like something that should be supported.
Sample...
\begin{algorithmic}
\Procedure{proc}{$v$}
\State $v.bool \gets v.bool \OR c.bool$;
\EndProcedure
\end{algorithmic}