diff --git a/src/q6/calcu-INGI1123/exercises/calcu_tp5.tex b/src/q6/calcu-INGI1123/exercises/calcu_tp5.tex
index 91ddd293772fc4d8abaabaabcc1ff2c98d6b52d4..a3e5104a63451ddf00d505fa7b94eb1847c990dd 100644
--- a/src/q6/calcu-INGI1123/exercises/calcu_tp5.tex
+++ b/src/q6/calcu-INGI1123/exercises/calcu_tp5.tex
@@ -137,6 +137,7 @@ We recall the definition of \(K\):
 \(K = \{i : \phi_i(i) \textnormal{ halts}\}\).
 Assume \(K\) is recursive.
 We can then define a function
+
 \[
 f(x) = \begin{cases} c \in \bar{K}\,, & \textnormal{ if } x \in K\,,\\
 d \in K\,, & \textnormal{ if } x \in \bar{K}\,. \end{cases}