Added \top and \bot to definitions

2013-07-30 09:37:40 -04:00 · 2013-07-30 09:37:40 -04:00 · 4f9679c6e3
parent b1b8e91d11
commit 4f9679c6e3
1 changed files with 6 additions and 0 deletions
--- a/dfn/dev.tex
+++ b/dfn/dev.tex
@ -130,4 +130,10 @@ developers addressed by this specification.

  \dt{type}
  Within the context of data, see ``data type''.
+
+  \dt{$\bot$}
+  Boolean value of 0; ``false''.
+
+  \dt{$\top$}
+  Boolean value of 1; ``true'';
 \end{description}