Mike Gerwitz

Activist for User Freedom

summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMike Gerwitz <gerwitzm@lovullo.com>2013-10-10 16:09:45 -0400
committerMike Gerwitz <gerwitzm@lovullo.com>2013-10-10 16:09:45 -0400
commit635630c9ea53357ab4f5d8aa653f3685b5df9d2e (patch)
tree1d5e24b464a5898e50597530e990a402d20e4c79
parent788852282d2184b9c57518fe472feee3d36952e4 (diff)
downloadlvspec-635630c9ea53357ab4f5d8aa653f3685b5df9d2e.tar.gz
lvspec-635630c9ea53357ab4f5d8aa653f3685b5df9d2e.tar.bz2
lvspec-635630c9ea53357ab4f5d8aa653f3685b5df9d2e.zip
Added ceiling notation to definitions
-rw-r--r--dfn/spec.tex3
1 files changed, 3 insertions, 0 deletions
diff --git a/dfn/spec.tex b/dfn/spec.tex
index 40e87e8..848d499 100644
--- a/dfn/spec.tex
+++ b/dfn/spec.tex
@@ -98,6 +98,9 @@ specification to resolve implementation issues and should exercise that ability.
\sigauth{NL}
\dt{$\blacksquare$}
End of formal definition.
+
+ \dt{$\lceil x\rceil$}
+ The ceiling of $x$ (round up to the nearest integer).
\end{description}
\enddeptgroup