diff --git a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstraints.java b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstraints.java
index c789704..ec7193c 100644
--- a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstraints.java
+++ b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstraints.java
@@ -220,7 +220,8 @@ public class LatexCreatorConstraints implements StepVisitor {
                     .append(DOLLAR_SIGN).append(COMMA).append(DOLLAR_SIGN);
         });
         if (!letConstraints.isEmpty()) {
-            // remove comma and dollar sign
+            // remove last comma and dollar signs
+            result.deleteCharAt(result.length() - 1);
             result.deleteCharAt(result.length() - 1);
             result.deleteCharAt(result.length() - 1);
         }