diff --git a/HOME_EXAM_Type_check_part2.md b/HOME_EXAM_Type_check_part2.md
index 084873be891d7c55f955db81348c0b5787fe111b..99d4b454752f5409ee5f941b5f822c494fbfc834 100644
--- a/HOME_EXAM_Type_check_part2.md
+++ b/HOME_EXAM_Type_check_part2.md
@@ -70,7 +70,7 @@ or
 ```
 
 Not equals (!=):
-math```
+```math
 \frac{\Gamma \ \vdash \ e1 \ : \ bool \quad \Gamma \ \vdash \ e2 \ : \ bool}{\Gamma \ \vdash (e1 \ != \ e2) \ : \ bool}
 ```