Update HOME_EXAM_Type_check_part2.md

HOME_EXAM_Type_check_part2.md

@@ -76,40 +76,40 @@ math```
 
 or
 
-math```
+```math
 \frac{\Gamma \ \vdash \ e1 \ : \ i32 \quad \Gamma \ \vdash \ e2 \ : \ i32}{\Gamma \ \vdash (e1 \ != \ e2) \ : \ bool}
 ```
 
 ### Assignment
 Given the type $`\tau`$, variable $`x`$ and value $`n`$
 
-math```
+```math
 \frac{\Gamma \ \vdash \ x \ : \ \tau \quad \Gamma \ \vdash \ n \ : \ \tau}{\lang x := n, \sigma \rang \ \Darr \ \Gamma \ \vdash x \ : \ \tau}
 ```
 
 ### **let** assignment
-math```
+```math
 \frac{\Gamma \ \vdash \ n \ : \ \tau}{\lang \text{let} \  x \ : \ \tau \ := \ n, \sigma \rang \ \Darr \ \Gamma \ \vdash x \ : \ \tau}
 ```
 
 ### **while** statement
 The condition, $`b`$, of the while statement  
 
-math```
+```math
 \frac{}{\Gamma \ \vdash b \ : \ bool}
 ```
 
 ### **if/elseif** statement
 The conditions, $`b_i`$, of the if- and elseif-statements
 
-math```
+```math
 \frac{}{\Gamma \ \vdash b_i \ : \ bool}
 ```
 
 ### Functions
 Given the function $`p`$ with the type of its return type
 
-math```
+```math
 \frac{\Gamma \ \vdash p \ : \ \tau \quad \lang p, \sigma \rang \ \Darr \ n}{\Gamma \ \vdash n \ : \ \tau}
 ```