From 6be89e25c3d27df5eb79c077ba73f52e2048d3a1 Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>
Date: Wed, 21 Nov 2012 19:56:50 +1100
Subject: Thesis writing! Yum yum!

---
 tex/thesis/contribution/contribution.tex | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

(limited to 'tex/thesis/contribution/contribution.tex')

diff --git a/tex/thesis/contribution/contribution.tex b/tex/thesis/contribution/contribution.tex
index 3e3ed6c..48a5e73 100644
--- a/tex/thesis/contribution/contribution.tex
+++ b/tex/thesis/contribution/contribution.tex
@@ -80,11 +80,12 @@ a few terms and notations. We will assume a fixed, finite set $X$ of
 variables. We will also define $\CZ = \Z \cup \{-\infty, \infty\}$.
 
 \begin{definition}
-  A \textbf{variable assignment} is a partial function, $\rho: X \to
-  \CZ$ that maps variables to values. The domain of a variable
-  assignment, $\rho$, is represented by $\mathsf{domain}(\rho)
-  \subseteq X$. An underlined value, $\underline{a}$, indicates a
-  variable assignment $\{ x \mapsto a \mid \forall x \in X \}$.
+  A \textbf{variable assignment} is a partial function, $\rho:
+  X \leadsto \CZ$ that maps variables to values. The domain of a
+  variable assignment, $\rho$, is represented by
+  $\mathsf{domain}(\rho) \subseteq X$. An underlined value,
+  $\underline{a}$, indicates a variable assignment $\{ x \mapsto
+  a \mid \forall x \in X \}$.
 
   Variable assignments $\rho : X \to \CZ$ and $\varrho : X \to \CZ$
   may be composed with the $\oplus$ operator as follows:
-- 
cgit v1.2.3

