Tiny typography tweak

spec/doc.tex

@@ -654,7 +654,9 @@ with the theories of uninterpreted functions and linear arithmetic.
   Let $a_1, \dots, a_m$ be the anchors among $s_1, \dots, s_{i-1}$.
 
   The calculated context of $s_i$ is the context
-  $c_{1,1}, \dots, c_{1, n_1}, \dots, c_{m,1}, \dots, c_{m, n_m}$
+  \[
+  c_{1,1}, \dots, c_{1, n_1}, \dots, c_{m,1}, \dots, c_{m, n_m}
+  \]
   where $c_{k,1}, \dots, c_{k, n_k}$ is the list of variables
   and variable, term tuples associated with $a_k$.