diff --git a/MACROS.h b/MACROS.h
new file mode 100644
--- /dev/null
+++ b/MACROS.h
@@ -0,0 +1,8 @@
+#ifndef __MACROS_H
+
+#define POINTED_FORMULA(c) \
+	(Pointed (Formula0 (T c) (F c)) (c (Formula0 (T c) (F c))))
+#define POINTED_TERM(c) \
+	(Pointed (Term0 (T c)) (c (Term0 (T c))))
+
+#endif
diff --git a/logic-TPTP.cabal b/logic-TPTP.cabal
--- a/logic-TPTP.cabal
+++ b/logic-TPTP.cabal
@@ -1,5 +1,5 @@
 name: logic-TPTP    
-version: 0.2.0.6
+version: 0.2.0.7
 cabal-version: >= 1.6
 build-type: Simple
 license: GPL
@@ -40,7 +40,8 @@
                     testing/TestImportExportImportFile.hs
                     testing/PrettyPrintFile.hs
                     testing/ParseRandom.hs
-                    
+                    MACROS.h
+
 tested-with: GHC==7.0.1
 
 source-repository head