diff --git a/src/ltlvisit/tostring.cc b/src/ltlvisit/tostring.cc
index d0d1e8bdb..e01cdefb8 100644
--- a/src/ltlvisit/tostring.cc
+++ b/src/ltlvisit/tostring.cc
@@ -1,7 +1,7 @@
-// Copyright (C) 2008, 2010, 2011 Laboratoire de Recherche et
-// Développement de l'Epita (LRDE).
+// Copyright (C) 2008, 2010, 2012 Laboratoire de Recherche et Développement
+// de l'Epita (LRDE).
 // Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
-// département Systèmes Répartis Coopératifs (SRC), Université Pierre
+// département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
 //
 // This file is part of Spot, a model checking library.
@@ -142,10 +142,10 @@ namespace spot
 	      os_ << " ^ ";
 	      break;
 	    case binop::Implies:
-	      os_ << " => ";
+	      os_ << " -> ";
 	      break;
 	    case binop::Equiv:
-	      os_ << " <=> ";
+	      os_ << " <-> ";
 	      break;
 	    case binop::U:
 	      os_ << " U ";