From 635630c9ea53357ab4f5d8aa653f3685b5df9d2e Mon Sep 17 00:00:00 2001 From: Mike Gerwitz Date: Thu, 10 Oct 2013 16:09:45 -0400 Subject: [PATCH] Added ceiling notation to definitions --- dfn/spec.tex | 3 +++ 1 file changed, 3 insertions(+) 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