\documentstyle{article}
\begin{document}
\section*{Data Reification}
\footnotesize{

\begin{eqnarray*}
 & & (AccId \hookrightarrow (2^{AccHolder} \times Amount))\\
\\
 & \unlhd_{33} & ((AccId \hookrightarrow 2^{AccHolder}) \times (AccId \hookrightarrow Amount))\\
 & & > abs = join\\
 & & > rep = nJoinInv\\
\\
 & \unlhd_{24} & ({(2^{AccHolder} \times 1)}^{AccId} \times (AccId \hookrightarrow Amount))\\
 & & > abs = prod(?,id)\\
 & & > rep = prod(?,id)\\
\\
 & \unlhd_{1} & ((AccId \hookrightarrow Amount) \times {(2^{AccHolder} \times 1)}^{AccId})\\
 & & > abs = const(p2,p1)\\
 & & > rep = const(p2,p1)\\
\\
 & \unlhd_{38} & (2^{(AccId \times Amount)} \times {(2^{AccHolder} \times 1)}^{AccId})\\
 & & > abs = prod(mkf,id)\\
 & & > rep = prod(mkr,id)\\
\\
 & \unlhd_{25} & (2^{(AccId \times Amount)} \times (AccId \hookrightarrow 2^{AccHolder}))\\
 & & > abs = prod(id,?)\\
 & & > rep = prod(id,?)\\
\\
\end{eqnarray*}
}
\end{document}
