Thesis writing! Yum yum!

1 files changed, 6 insertions, 5 deletions

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: