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