diff --git a/merkzettel.pdf b/merkzettel.pdf
index 01221af..3edb240 100644
Binary files a/merkzettel.pdf and b/merkzettel.pdf differ
diff --git a/merkzettel.tex b/merkzettel.tex
index b982fe6..76b4c8a 100644
--- a/merkzettel.tex
+++ b/merkzettel.tex
@@ -139,7 +139,7 @@ Wir definieren $A \subseteq \mathbb{N}$ und für jede $n$-stellige Operation $f$
 		\begin{itemize}
 			\item Menge $PT$ von Typgleichungen
 			\begin{align*}
-			PT(\Gamma;x;\alpha) &= \lbrace a\pteq b \vert x:\beta \in \Gamma\rbrace\\
+			PT(\Gamma;x;\alpha) &= \lbrace \alpha \pteq \beta ~\vert~ x:\beta \in \Gamma\rbrace\\
 			PT(\Gamma; \lambda x.t; \alpha) &= PT((\Gamma;x:a);t;b) \cup \lbrace a\rightarrow b \pteq \alpha \rbrace\ \text{mit $a,b$ frisch}\\
 			PT(\Gamma;ts;\alpha) &= PT(\Gamma; t; a\rightarrow \alpha ) \cup PT(\Gamma;s;a)\ \text{mit $a$ frisch}
 			\end{align*}