diff --git a/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/DataConstraintModel.java b/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/DataConstraintModel.java
index 9d68816..e5b70de 100644
--- a/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/DataConstraintModel.java
+++ b/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/DataConstraintModel.java
@@ -74,6 +74,7 @@
 			return temp;
 		}
 	});
+	public static final Symbol mod = new Symbol("mod", 2, Symbol.Type.PREFIX, "%", Symbol.Type.INFIX);
 	public static final Symbol eq = new Symbol("eq", 2, Symbol.Type.PREFIX, "==", Symbol.Type.INFIX);
 	public static final Symbol neq = new Symbol("neq", 2, Symbol.Type.PREFIX, "!=", Symbol.Type.INFIX);
 	public static final Symbol gt = new Symbol("gt", 2, Symbol.Type.PREFIX, ">", Symbol.Type.INFIX);
@@ -119,6 +120,7 @@
 		contains.setSignature(new Type[] {typeBoolean, typeList, null});
 		get.setSignature(new Type[] {null, typeList, typeInt});
 		set.setSignature(new Type[] {typeList, typeList, typeInt, null});
+		mod.setSignature(new Type[] {null, null, typeInt});
 		eq.setSignature(new Type[] {null, null, typeBoolean});
 		neq.setSignature(new Type[] {null, null, typeBoolean});
 		gt.setSignature(new Type[] {null, null, typeBoolean});
@@ -168,6 +170,7 @@
 		addSymbol(set);
 		addSymbol(nil);
 		addSymbol(cond);
+		addSymbol(mod);
 		addSymbol(eq);
 		addSymbol(neq);
 		addSymbol(gt);