Index: doc/theses/jiada_liang_MMath/CFAenum.tex
===================================================================
--- doc/theses/jiada_liang_MMath/CFAenum.tex	(revision 43ab5fb064904ccb459bf40c7534ea99a9d74c02)
+++ doc/theses/jiada_liang_MMath/CFAenum.tex	(revision 59fb46243b69fa66cdb75d1fddc0fbaaaf7e0bf1)
@@ -236,11 +236,11 @@
 However, the position of the underlying representation is the order of the enumerator in the new enumeration.
 \begin{cfa}
-enum() E1 { B };							
-enum() E2 { C, D };							
-enum() E3 { inline E1, inline E2, D };
-enum() E4 { A, inline E3, E };
-\end{cfa}
-In the example above, @B@ has the position 0 in @E1@ and @E3@, but it at the position 0 in @E4@ as taking the 0 there.
-@C@ is at the position 0 in E2, 1 in E3 and 2 in E4. @D@ is at the position 1 in E2, 2 in E3 and 3 in E4. 
+enum() E1 { B };								$\C{// B}$						
+enum() E2 { C, D };								$\C{// C D}$
+enum() E3 { inline E1, inline E2, E };			$\C{// {\color{red}[\(_{E1}\)} B {\color{red}]} {\color{red}[\(_{E2}\)} C, D {\color{red}]} E}$
+enum() E4 { A, inline E3, F};					$\C{// A {\color{blue}[\(_{E3}\)} {\color{red}[\(_{E1}\)} B {\color{red}]} {\color{red}[\(_{E2}\)} C, D {\color{red}]} E {\color{blue}]} F }$
+\end{cfa}
+In the example above, @B@ has the position 0 in @E1@ and @E3@, but it at the position 1 in @E4@ as @A@ taking the 0 in @E4@.
+@C@ is at the position 0 in @E2@, 1 in @E3@ and 2 in E4. @D@ is at the position 1 in @E2@, 2 in @E3@ and 3 in @E4@. 
 
 A subtype enumeration can be casted, or implicitly converted into its supertype, with a @safe@ cost. Such conversion is an @enumeration conversion@.