@@ -381,7 +381,8 @@ The signed-integer type is represented by the `@s` aura. Positive integers are
381prepended with a `--`, and negative integers are prepended with a `-`. For
381prepended with a `--`, and negative integers are prepended with a `-`. For
382example, `--1` represents positive one, and `-1` represents negative one.
382example, `--1` represents positive one, and `-1` represents negative one.
384+[ZigZag encoding](https://developers.google.com/protocol-buffers/docs/encoding?hl=en#signed-ints)
384−Zig zag encoding is used to convert atoms to signed integers. Positive signed
385+is used to convert atoms to signed integers. Positive signed
385integers correspond to even atoms of twice their absolute value, and negative
386integers correspond to even atoms of twice their absolute value, and negative
386signed integers correspond to odd atoms of twice their absolute value minus
387signed integers correspond to odd atoms of twice their absolute value minus
387one. For example:
388one. For example: