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