diff --git a/documents/Programmierparadigmen/Programmierparadigmen.pdf b/documents/Programmierparadigmen/Programmierparadigmen.pdf
index e0ea6c7..1a5d4cf 100644
Binary files a/documents/Programmierparadigmen/Programmierparadigmen.pdf and b/documents/Programmierparadigmen/Programmierparadigmen.pdf differ
diff --git a/documents/Programmierparadigmen/Symbolverzeichnis.tex b/documents/Programmierparadigmen/Symbolverzeichnis.tex
index dff1d55..6d38673 100644
--- a/documents/Programmierparadigmen/Symbolverzeichnis.tex
+++ b/documents/Programmierparadigmen/Symbolverzeichnis.tex
@@ -41,11 +41,11 @@ $\psi \vdash \varphi$        & Syntaktische Herleitbarkeit\newline Die Formel $\
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \section*{Weiteres}
 
-\settowidth\mylengtha{$\bot$}
+\settowidth\mylengtha{$a \Parr b$}
 \setlength\mylengthb{\dimexpr\columnwidth-\mylengtha-2\tabcolsep\relax}
 
 \begin{xtabular}{@{} p{\mylengtha} P{\mylengthb} @{}}
 $\bot$   & Bottom\\
-$\Parr$  & TODO?\\
+$a \Parr b$  & $a$ wird zu $b$ unifiziert\\
 $\succeq$& Typschemainstanziierung\\
 \end{xtabular}
\ No newline at end of file