diff --git a/src/main/scala/leon/synthesis/Problem.scala b/src/main/scala/leon/synthesis/Problem.scala
index 52f9d7bd0ed2bf180bae0b2a9da2d9deee9a78f0..46d01ece1903b4361123f98b1fdb944f2616d7dd 100644
--- a/src/main/scala/leon/synthesis/Problem.scala
+++ b/src/main/scala/leon/synthesis/Problem.scala
@@ -41,10 +41,10 @@ case class Problem(as: List[Identifier], ws: Expr, pc: Path, phi: Expr, xs: List
 
     val ebInfo = "/"+eb.valids.size+","+eb.invalids.size+"/"
 
-    s"""|⟦ \u0305α ${if (as.nonEmpty) as.map(_.asString).mkString(", ") else "()"}
+    s"""|⟦ α ${if (as.nonEmpty) as.map(_.asString).mkString(", ") else "()"}
         |  Π ${pad("    ", pcws.fullClause.asString)}
         |  φ ${pad("    ", phi.asString)}
-        |  \u0305x ${if (xs.nonEmpty) xs.map(_.asString).mkString(", ") else "()"}
+        |  x ${if (xs.nonEmpty) xs.map(_.asString).mkString(", ") else "()"}
         |⟧ $ebInfo""".stripMargin
   }