diff --git a/Vorlesungen/ThProg/SystemF.tex b/Vorlesungen/ThProg/SystemF.tex
index 477a951..fa99519 100644
--- a/Vorlesungen/ThProg/SystemF.tex
+++ b/Vorlesungen/ThProg/SystemF.tex
@@ -69,7 +69,7 @@
 	
 	$
 	\{
-		
+			f		
 	\}
 	$
 	\\