typo

Author: rzach

content/incompleteness/arithmetization-syntax/coding-symbols.tex

@@ -85,7 +85,7 @@
 the code of the sequence $\tuple{k_0, \dots, k_{n-1}}$ in the
 power-of-primes coding is
 \[
-2^{k_0+1}\cdot3^{k_1+1}\cdot \dots \cdot p_{n-1}^{k_{n-1}},
+2^{k_0+1}\cdot3^{k_1+1}\cdot \dots \cdot p_{n-1}^{k_{n-1}+1},
 \]
 where $p_i$ is the $i$-th prime (starting with $p_0 = 2$). So for
 instance, the formula $\eq[\Obj v_0][\Obj 0]$, or, more explicitly,