@@ -372,12 +372,13 @@ Container core for signed integer functions.
372372#### Discussion
373373
374374The signed-integer type is represented by the `@s` aura. Positive integers are
375−represented with a two prepending `-`s, and negative integers are represented
376−with two; `--1` and `-1`, respectively.
375+prepended with a `--`, and negative integers are prepended with a `-`. For
376+example, `--1` represents positive one, and `-1` represents negative one.
377377
378−Positive signed integers correspond to odd atoms of twice their absolute value,
379−and negative signed integers correspond to atoms of twice their absolute value
380−minus one. For example:
378+Zig zag encoding is used to convert atoms to signed integers. Positive signed
379+integers correspond to even atoms of twice their absolute value, and negative
380+signed integers correspond to odd atoms of twice their absolute value minus
381+one. For example:
381382
382383```
383384 > `@`--4
@@ -855,4 +856,4 @@ A signed integer.
855856 -1
856857```
857858
858−---
859+---