message: Fixed spec typos
diff: @@ -1200,7 +1200,9 @@ where the notation `v2ci` and `v2pi` defined in the "Layout" section above.
  These circuit gates are used to constrain that
  - $$left_input +/- right_input = field_overflow * foreign_modulus + result$$
  +```text
  +left_input +/- right_input = field_overflow * foreign_modulus + result
  +```
  Documentation:
  