...

1 files changed, 4 insertions, 2 deletions

diff --git a/src/hastabel2idp/idp/Theory.java b/src/hastabel2idp/idp/Theory.java
index 52f4ee4..282c518 100644
--- a/src/hastabel2idp/idp/Theory.java
+++ b/src/hastabel2idp/idp/Theory.java
@@ -33,6 +33,8 @@ public class Theory
    {
       boolean is_first;
 
+      out.write("   ");
+
       for (final Variable argument: arguments)
       {
          out.write("!");
@@ -59,9 +61,9 @@ public class Theory
          out.write(argument.get_name());
       }
 
-      out.write(") <=> ");
+      out.write(") <=> (");
       out.write(hastabel2idp.idp.lang.Formula.convert(formula).toString());
-      out.write(".");
+      out.write(").");
       out.insert_newline();
    }