From 4f9679c6e3cca1fec41390f627f01a9f846e7a27 Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <gerwitzm@lovullo.com>
Date: Tue, 30 Jul 2013 09:37:40 -0400
Subject: [PATCH] Added \top and \bot to definitions

---
 dfn/dev.tex | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/dfn/dev.tex b/dfn/dev.tex
index 2060c4d..f73d2dd 100644
--- 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}