gistfile1.tex

      \begin{equation}
        \begin{split}
          \graybg{$\code{case (<l$_j$=v$_j$> as T) of <l$_i$=x$_i$>$\Rightarrow$
t$_i{}^{i \in 1..n}$}$} \\
          \graybg{$\to [\code{x}_j \mapsto \code{v}_j]\code{t}_j$}
        \end{split}
        \tag{E-CaseVariant}
     \end{equation}