Change ceil to floor

IntersectMBO · May 28, 2019 · 2d9ec79 · 2d9ec79
1 parent 7d413e3
commit 2d9ec79
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/byron/ledger/formal-spec/blockchain-interface.tex b/byron/ledger/formal-spec/blockchain-interface.tex
@@ -377,7 +377,7 @@ \subsection{Update-proposals interface}
       {\left(
         \begin{array}{l}
           s_n\\
-          \ceil{q \cdot \var{ngk}}\\
+          \floor{q \cdot \var{ngk}}\\
           \var{\dom~pws}\\
           \var{dms}
         \end{array}
@@ -608,7 +608,7 @@ \subsection{Update-proposals interface}
       \left({
         \begin{array}{l}
           s_n\\
-          \ceil{q \cdot \var{ngk}}\\
+          \floor{q \cdot \var{ngk}}\\
           \var{dms}\\
           \var{cps}\\
           \var{rpus}

diff --git a/byron/ledger/formal-spec/iohk.sty b/byron/ledger/formal-spec/iohk.sty
@@ -31,6 +31,8 @@
 % Ceiling
 \usepackage{mathtools}
 \DeclarePairedDelimiter{\ceil}{\lceil}{\rceil}
+% Floor
+\DeclarePairedDelimiter{\floor}{\lfloor}{\rfloor}
 
 
 \newenvironment{question}