diff --git a/pieuvre.ml b/pieuvre.ml
index d14d7d0..419db2a 100644
--- a/pieuvre.ml
+++ b/pieuvre.ml
@@ -17,8 +17,8 @@ let rec string_of_ty (t: ty) : string =
     match t with
         | TSimple(tn) -> tn
         | TImpl(t1,t2) -> "(" ^ (string_of_ty t1) ^ " -> " ^ (string_of_ty t2) ^ ")"
-        | TAnd(t1,t2) -> "(" ^ (string_of_ty t1) ^ "/\\" ^ (string_of_ty t2) ^ ")"
-        | TOr(t1,t2) -> "(" ^ (string_of_ty t1) ^ "\\/" ^ (string_of_ty t2) ^ ")"
+        | TAnd(t1,t2) -> "(" ^ (string_of_ty t1) ^ " /\\ " ^ (string_of_ty t2) ^ ")"
+        | TOr(t1,t2) -> "(" ^ (string_of_ty t1) ^  "\\/ " ^ (string_of_ty t2) ^ ")"
         | TFalse -> "False"
         | TTrue -> "True"
 ;;
@@ -47,7 +47,7 @@ let split, tsplit =
 
     else raise (IllegalVarNameException(x))
     in (splitter varRegex, splitter tvarRegex);;
-    
+
 (* Renvoie un nom non utilisé dans la formule l qui commence par x *)
 let findFreeName (l: lam) (x: var) =
     let xStr = fst (split x) in
@@ -76,7 +76,7 @@ let findHypName (names: var list) (x: var) =
     let maxi = ref 0 in
     let rec finder l = match l with
         | [] -> ()
-        | v::r -> 
+        | v::r ->
             begin
                 let (vS,vI) = split v in
                 (if xStr=vS then maxi := max !maxi vI);