From b123d3bd67b8ecc5ed8641144e976b391398be85 Mon Sep 17 00:00:00 2001 From: Daira Hopwood Date: Mon, 6 Feb 2017 01:23:09 +0000 Subject: [PATCH] Add [0]^\ell to the Notation section. Signed-off-by: Daira Hopwood --- protocol/protocol.tex | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/protocol/protocol.tex b/protocol/protocol.tex index 89933e1..894fb75 100644 --- a/protocol/protocol.tex +++ b/protocol/protocol.tex @@ -939,6 +939,8 @@ $\ascii{...}$ means the given string represented as a sequence of bytes in US-ASCII. For example, $\ascii{abc}$ represents the byte sequence $[\hexint{61}, \hexint{62}, \hexint{63}]$. +$\zeros{\ell}$ means the sequence of $\ell$ zero bits. + $a..b$, used as a subscript, means the sequence of values with indices $a$ through $b$ inclusive. For example, $\AuthPublicNew{\allNew}$ means the sequence $[\AuthPublicNew{\mathrm{1}}, @@ -2054,7 +2056,8 @@ In bit layout diagrams, each box of the diagram represents a sequence of bits. Diagrams are read from left-to-right, with lines read from top-to-bottom; the breaking of boxes across lines has no significance. The bit length is given explicitly in each box, except for the case of a single -bit, or for the notation $\zeros{n}$ which represents the sequence of $n$ zero bits. +bit, or for the notation $\zeros{\ell}$ representing the sequence of $\ell$ +zero bits. The entire diagram represents the sequence of \emph{bytes} formed by first concatenating these bit sequences, and then treating each subsequence of 8 bits