diff --git a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorType.java b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorType.java
index 03c180a..46ce3f9 100644
--- a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorType.java
+++ b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorType.java
@@ -78,6 +78,8 @@ public class LatexCreatorType implements TypeVisitor {
             // this class is used in frontend/src/mathjax-setup.js
             latex.append("\\class{typicalc-type typicalc-type-")
                     .append(variable.hashCode())
+                    .append("-")
+                    .append(variable.getUniqueIndex())
                     .append("}{");
         }
         latex.append(name);