--- a/ChengsongTanPhdThesis/Chapters/Inj.tex	Tue Jun 14 18:06:33 2022 +0100
+++ b/ChengsongTanPhdThesis/Chapters/Inj.tex	Thu Jun 23 16:09:40 2022 +0100
@@ -169,7 +169,7 @@
 $L \; (\ONE)$ & $\dn$ & $\{[]\}$\\
 $L \; (c)$ & $\dn$ & $\{[c]\}$\\
 $L \; (r_1 + r_2)$ & $\dn$ & $ L \; (r_1) \cup L \; ( r_2)$\\
-$L \; (r_1 \cdot r_2)$ & $\dn$ & $ L \; (r_1) \cap L \; (r_2)$\\
+$L \; (r_1 \cdot r_2)$ & $\dn$ & $ L \; (r_1) @ L \; (r_2)$\\
 $L \; (r^*)$ & $\dn$ & $ (L(r))^*$
 \end{tabular}
 \end{center}