diff --git a/merkzettel.pdf b/merkzettel.pdf
index 5494a4b..f53202d 100644
Binary files a/merkzettel.pdf and b/merkzettel.pdf differ
diff --git a/merkzettel.tex b/merkzettel.tex
index 1a209b0..b631f45 100644
--- a/merkzettel.tex
+++ b/merkzettel.tex
@@ -72,7 +72,10 @@ Wir definieren $A \subseteq \mathbb{N}$ und für jede $n$-stellige Operation $f$
 	\begin{equation*}
 	\lambda x.yx \ered y
 	\end{equation*}
-	\item \textbf{TODO} $\alpha$-Äquivalenz
+	\item $\alpha$-Äquivalenz: $t_1 =_\alpha t_2$, wenn $t_2$ durch Umbenennung gebundener Variablen aus $t_1$ hervorgeht, formal: \defin{3.6}{31}
+	\begin{align*}
+	\underbrace{\lambda x.u}_{t_1} =_\alpha \underbrace{\lambda y.u[y/x]}_{t_2} &&\text{wenn } y \notin FV(u)
+	\end{align*}
 \end{itemize}
 \subsubsection*{Auswertungsstrategien}
 \begin{itemize}