From 14c6e8e6d354e2747e3f2d50b75a72dbee8a2f19 Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <gerwitzm@lovullo.com>
Date: Thu, 1 Aug 2013 16:44:59 -0400
Subject: [PATCH] Added square and left arrow symbols to spec definitions

---
 dfn/spec.tex | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/dfn/spec.tex b/dfn/spec.tex
index ab9da7a..222f2bc 100644
--- a/dfn/spec.tex
+++ b/dfn/spec.tex
@@ -69,6 +69,16 @@ specification to resolve implementation issues and should exercise that ability.
 
   \dt{\P}
   Paragraph reference
+
+  \dt{$\leftarrow$}
+  Store value into variable; as opposed to `$=$', which denotes a declarative
+  (and consequently immutable) assignment.
+
+  \dt{$\square$}
+  End of example or proof.
+
+  \dt{$\blacksquare$}
+  End of formal definition.
 \end{description}
 
 \enddeptgroup