employer
/
lvspec
1
0
Fork 0
Code Releases Activity

Added ceiling notation to definitions

master
Mike Gerwitz 2013-10-10 16:09:45 -04:00
parent 788852282d
commit 635630c9ea
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
dfn/spec.tex
View File

@ -98,6 +98,9 @@ specification to resolve implementation issues and should exercise that ability.
\sigauth{NL} \sigauth{NL}
\dt{$\blacksquare$} \dt{$\blacksquare$}
End of formal definition. End of formal definition.
\dt{$\lceil x\rceil$}
The ceiling of $x$ (round up to the nearest integer).
\end{description} \end{description}
\enddeptgroup \enddeptgroup