diff --git a/src/main/java/de/tla2b/global/BBuildIns.java b/src/main/java/de/tla2b/global/BBuildIns.java
index 33726f4e17e8e17a74f16a41f73c6abe67b3a038..bce2f60faba9da4c092e0a5849c1d86486524ed2 100644
--- a/src/main/java/de/tla2b/global/BBuildIns.java
+++ b/src/main/java/de/tla2b/global/BBuildIns.java
@@ -1,12 +1,13 @@
 package de.tla2b.global;
 
+import tlc2.tool.ToolGlobals;
 import util.UniqueString;
 
-public interface BBuildIns {
-	UniqueString OP_dotdot = UniqueString.uniqueStringOf("..");
-	UniqueString OP_plus = UniqueString.uniqueStringOf("+");
-	UniqueString OP_minus = UniqueString.uniqueStringOf("-");
-	UniqueString OP_times = UniqueString.uniqueStringOf("*");
+/**
+ * Contains definitions of operators defined in additional modules like Naturals/Reals/...
+ * that are not part of ToolGlobals.
+ */
+public interface BBuildIns extends ToolGlobals {
 	UniqueString OP_div = UniqueString.uniqueStringOf("\\div");
 	UniqueString OP_realdiv = UniqueString.uniqueStringOf("/");
 	UniqueString OP_mod = UniqueString.uniqueStringOf("%");
@@ -14,11 +15,6 @@ public interface BBuildIns {
 
 	UniqueString OP_uminus = UniqueString.uniqueStringOf("-.");
 
-	UniqueString OP_lt = UniqueString.uniqueStringOf("<");
-	UniqueString OP_leq = UniqueString.uniqueStringOf("\\leq");
-	UniqueString OP_gt = UniqueString.uniqueStringOf(">");
-	UniqueString OP_geq = UniqueString.uniqueStringOf("\\geq");
-
 	UniqueString OP_nat = UniqueString.uniqueStringOf("Nat");
 	UniqueString OP_int = UniqueString.uniqueStringOf("Int");
 	UniqueString OP_real = UniqueString.uniqueStringOf("Real");