\documentstyle{article}
\begin{document}
\begin{eqnarray}
{(A \times B)}& \cong_{1} &{(B \times A)}\\
{(A \times {(B \times C)})}& \cong_{2} &{({(A \times B)} \times C)}\\
{({(A \times B)} \times C)}& \cong_{3} &{(A \times {(B \times C)})}\\
{(A \times 1)}& \cong_{4} &A\\
A& \cong_{5} &{(A \times 1)}\\
{(A + B)}& \cong_{6} &{(B + A)}\\
{(A + {(B + C)})}& \cong_{7} &{({(A + B)} + C)}\\
{({(A + B)} + C)}& \cong_{8} &{(A + {(B + C)})}\\
{(A + 0)}& \cong_{9} &A\\
A& \cong_{10} &{(A + 0)}\\
{(A \times 0)}& \cong_{11} &0\\
{(A \times {(B + C)})}& \cong_{12} &{({(A \times B)} + {(A \times C)})}\\
{({(A \times B)} + {(A \times C)})}& \cong_{13} &{(A \times {(B + C)})}\\
{(A^0)}& \cong_{14} &1\\
{(A^{(B + C)})}& \cong_{15} &{({(A^B)} + {(A^C)})}\\
{({(A^B)} + {(A^C)})}& \cong_{16} &{(A^{(B + C)})}\\
{(A^1)}& \cong_{17} &A\\
A& \cong_{18} &{(A^1)}\\
{(1^A)}& \cong_{19} &1\\
{({(B \times C)}^A)}& \cong_{20} &{({(B^A)} \times {(C^A)})}\\
{({(B^A)} \times {(C^A)})}& \cong_{21} &{({(B \times C)}^A)}\\
{(C^{(A \times B)})}& \cong_{22} &{({(C^B)}^A)}\\
{({(C^B)}^A)}& \cong_{23} &{(C^{(A \times B)})}\\
{(A \hookrightarrow B)}& \cong_{24} &{({(B + 1)}^A)}\\
{({(B + 1)}^A)}& \cong_{25} &{(A \hookrightarrow B)}\\
{({(B + C)} \hookrightarrow A)}& \cong_{26} &{({(B \hookrightarrow A)} \times {(C \hookrightarrow A)})}\\
{({(B \hookrightarrow A)} \times {(C \hookrightarrow A)})}& \cong_{27} &{({(B + C)} \hookrightarrow A)}\\
{(0 \hookrightarrow A)}& \cong_{28} &1\\
{(A \hookrightarrow 1)}& \cong_{29} &{(2^A)}\\
{(2^A)}& \cong_{30} &{(A \hookrightarrow 1)}\\
{(1 \hookrightarrow A)}& \cong_{31} &{(A + 1)}\\
{(A + 1)}& \cong_{32} &{(1 \hookrightarrow A)}\\
(A \hookrightarrow (B \times C))& \unlhd_{33} &((A \hookrightarrow B) \times (A \hookrightarrow C))\\((A \times B) \hookrightarrow C)& \unlhd_{34} &(A \hookrightarrow (B \hookrightarrow C))\\(A \hookrightarrow (B \hookrightarrow C))& \unlhd_{35} &(2^{A} \times ((A \times B) \hookrightarrow C))\\(A \hookrightarrow (D \times (B \hookrightarrow C)))& \unlhd_{36} &((A \hookrightarrow D) \times ((A \times B) \hookrightarrow C))\\(A \hookrightarrow (B \times C))& \unlhd_{37} &((A \hookrightarrow B) \times (A \hookrightarrow C))\\(A \hookrightarrow B)& \unlhd_{38} &2^{(A \times B)}\\(A \hookrightarrow (B \hookrightarrow C))& \unlhd_{39} &((A \hookrightarrow 1) \times ((A \times B) \hookrightarrow C))\\
\end{eqnarray}\end{document}
