diff --git a/HOME_EXAM_Type_check_part2.md b/HOME_EXAM_Type_check_part2.md
index bb24d42bf9d19a4ad95b51103aa6cfa945e48167..084873be891d7c55f955db81348c0b5787fe111b 100644
--- a/HOME_EXAM_Type_check_part2.md
+++ b/HOME_EXAM_Type_check_part2.md
@@ -116,6 +116,6 @@ Given the function $`p`$ with the type of its return type
 #### Parameters and arguments
 Given a function with parameters $`p1, \dotsb, p_i`$ and arguments $`a1, \dotsb, a_i`$ then for every parameter and argument
 
-math```
+```math
 \frac{\Gamma \ \vdash p_i \ : \ \tau}{\Gamma \ \vdash a_i \ : \ \tau}
 ```
\ No newline at end of file