doc/spec: add sending notation