diff --git a/src/lib/term.cpp b/src/lib/term.cpp
--- a/src/lib/term.cpp
+++ b/src/lib/term.cpp
@@ -458,11 +458,11 @@
                                                         t.value().typeName()).toUtf8().constData();
     }
     else {
-        d << "(" << operationToString(t.operation()).toUtf8().constData();
+        d << "[" << operationToString(t.operation()).toUtf8().constData();
         for (const Term& term : t.subTerms()) {
             d << term;
         }
-        d << ")";
+        d << "]";
 
     }
     return d;