rlp/doc/state-transition-rules.md

\begin{align*}
    \begin{array}{|rrrrr|}
        \hline
        & a : s & d & h
        \left[
            \begin{array}{l}
                a : \texttt{NAp } a_1 a_2 \\
                a_2 : \texttt{NInd } a_3
            \end{array}
        \right] & g \\[14pt]
        \implies & a : s & d & h
        \left[
            \begin{array}{l}
                a : \texttt{NAp } a_1 a_3
            \end{array}
        \right] & g \\
        \hline
    \end{array}
\end{align*}