this is for holding javascript data
Mazdak Farrokhzad edited Ex3.b.tex
over 9 years ago
Commit id: abab02c87c903556fa7e5890727fc2d8d81893df
deletions | additions
diff --git a/Ex3.b.tex b/Ex3.b.tex
index c3d88d3..6a2f7fd 100644
--- a/Ex3.b.tex
+++ b/Ex3.b.tex
...
\begin{split}
Q &: \empty = \T\\
R &: res = n_0m_0\\
I &: res + nm =
n_0m_0 & \text{I, invariant}\\ n_0m_0\\
B &: 0 <
n & \text{B, branch condition}\\ n\\
V &:
n & \text{V, variant}\\ n\\
\end{split}
\end{equation}