diff --git a/content/mimiumの多段階計算.md b/content/mimiumの多段階計算.md
index f1349a60..a73e520a 100644
--- a/content/mimiumの多段階計算.md
+++ b/content/mimiumの多段階計算.md
@@ -29,16 +29,18 @@ $$
 
 $$
 \begin{align}
-e ::=
-	  &\quad R & R \in \mathbb{R}  [number]&\\
-      |&\quad e \ e \quad& [app]&\\
+e ::= &\quad R & R \in \mathbb{R}  [number]&\\
       |&\quad \lambda x.e& [abs]&\\
       |&\quad let\; x\; =\; e\; in\; e& [let]&\\
+      |&\quad fix\; x.e & [fixpoint]&\\
+      |&\quad e \ e \quad& [app]&\\
+      |&\quad if\; (e_c) \; e_t\; else\; e_e & [if] &\\
       |&\quad delay(x,e_{time},v_{bound})&[delay]&\\
       |&\quad mem(e) &[mem]&\\
       |&\quad feed\ x.e &[feed]&\\
       |&\quad `(e) &[quote]&\\
-      |&\quad $(e) &[splice]&
+      |&\quad $(e) &[splice]&\\\
+      |& \ ...
 \end{align}
 $$