From 2f868aca8d6f15ebdc6cb5a395e822e7702448ec Mon Sep 17 00:00:00 2001
From: Daira Hopwood <daira@jacaranda.org>
Date: Tue, 13 Nov 2018 22:00:41 +0000
Subject: [PATCH] Add LEBStoIP.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
---
 protocol/protocol.tex | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/protocol/protocol.tex b/protocol/protocol.tex
index 48d4ef54..925abf54 100644
--- a/protocol/protocol.tex
+++ b/protocol/protocol.tex
@@ -1662,6 +1662,8 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
 \newcommand{\ItoLEBSPOf}[2]{\ItoLEBSP{#1}\!\left({#2}\right)}
 \newcommand{\ItoBEBSP}[1]{\mathsf{I2BEBSP}_{#1}}
 \newcommand{\ItoBEBSPOf}[2]{\ItoBEBSP{#1}\!\left({#2}\right)}
+\newcommand{\LEBStoIP}[1]{\mathsf{LEBS2IP}_{#1}}
+\newcommand{\LEBStoIPOf}[2]{\LEBStoIP{#1}\!\left({#2}\right)}
 \newcommand{\LEOStoIP}[1]{\mathsf{LEOS2IP}_{#1}}
 \newcommand{\LEOStoIPOf}[2]{\LEOStoIP{#1}\!\left({#2}\right)}
 \newcommand{\LEBStoOSP}[1]{\mathsf{LEBS2OSP}_{#1}}
@@ -5479,6 +5481,9 @@ and integers:
   \item $\ItoBEBSP{} \typecolon (\ell \typecolon \Nat) \times \binaryrange{\ell} \rightarrow \bitseq{\ell}$
         such that $\ItoBEBSPOf{\ell}{x}$ is the sequence of $\ell$ bits representing $x$ in
         big-endian order.
+  \item $\LEBStoIP{} \typecolon (\ell \typecolon \Nat) \times \bitseq{\ell} \rightarrow \binaryrange{\ell}$
+        such that $\LEBStoIPOf{\ell}{S}$ is the integer represented in little-endian order by the
+        bit sequence $S$ of length $\ell$.
   \item $\LEOStoIP{} \typecolon (\ell \typecolon \Nat \suchthat \ell \bmod 8 = 0) \times \byteseq{\ell/8} \rightarrow \binaryrange{\ell}$
         such that $\LEOStoIPOf{\ell}{S}$ is the integer represented in little-endian order by the
         byte sequence $S$ of length $\ell/8$.