From dce410f1ed8d3858a9ea246e50961a1bef641954 Mon Sep 17 00:00:00 2001
From: Robin <robin@NovaProspect.(none)>
Date: Sun, 30 May 2010 18:27:28 +0100
Subject: [PATCH] .

---
 introduction/introduction.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/introduction/introduction.tex b/introduction/introduction.tex
index 3c32d6b..e6627dc 100644
--- a/introduction/introduction.tex
+++ b/introduction/introduction.tex
@@ -2,7 +2,7 @@
 
 \section{Introduction}
 
-$$ \int_{0\-}^{\infty}  f(t).e^{-s.t}.dt  \; | \; s \in C$$
+$$ \int_{0\-}^{\infty}  f(t).e^{-s.t}.dt  \; | \; s \in \mathcal{C}$$
 
 This thesis describes the application of, mathematical (formal) techniques to
 the design of safety critical systems.