\begin{center}
\begin{math}
\mathlig{-><-}{\rightarrow\leftarrow}
\inference[Plus]{a_{1} -> v_{1}\; a_{2} -> v_{2}}{a_{1}+a_{2} -> v}\; Where\; v = v_{1} + v_{2}
\end{math}
\end{center}
\begin{figure}[H]
\caption{Transition rule for Addition}
\end{figure}

\begin{center}
\begin{math}
\mathlig{-><-}{\rightarrow\leftarrow}
\inference[Plus]{a_{1} -> v_{1}\; a_{2} -> v_{2}}{a_{1} - a_{2} -> v}\; Where\; v = v_{1} - v_{2}
\end{math}
\end{center}
\begin{figure}[H]
\caption{Transition rule for Subtraction}
\end{figure}

\begin{center}
\begin{math}
\mathlig{-><-}{\rightarrow\leftarrow}
\inference[Plus]{a_{1} -> v_{1}\; a_{2} -> v_{2}}{a_{1}*a_{2} -> v}\; Where\; v = v_{1} * v_{2}
\end{math}
\end{center}
\begin{figure}[H]
\caption{Transition rule for Multiplication}
\end{figure}

\begin{center}
\begin{math}
\mathlig{-><-}{\rightarrow\leftarrow}
\inference[Plus]{a_{1} -> v_{1}\; a_{2} -> v_{2}}{a_{1}/a_{2} -> v}\; Where\; v = v_{1} / v_{2}
\end{math}
\end{center}
\begin{figure}[H]
\caption{Transition rule for Division}
\end{figure}

\begin{center}
\begin{math}
\mathlig{-><-}{\rightarrow\leftarrow}
\inference[Plus]{a_{1} -> v_{1}\; a_{2} -> v_{2}}{a_{1}\%a_{2} -> v}\; Where\; v = v_{1} \% v_{2}
\end{math}
\end{center}
\begin{figure}[H]
\caption{Transition rule for Plus}
\end{figure}