Update HOME_EXAM.md

HOME_EXAM.md

@@ -153,7 +153,7 @@ No error messages, except the already existing error messages from LALRPOP, have
 - Give an as complete as possible Structural Operetional Semantics (SOS) for your language
  
 ### Operators
-Given a expression $e$ in the state $\sigma$  that evaluates to a value $n$ or boolean $b$ the following can be said for the operators in the language
+Given a expression $`e`$ in the state $`\sigma`$  that evaluates to a value $`n`$ or boolean $`b`$ the following can be said for the operators in the language
 
 #### Arithmetic
 Addition:
@@ -228,7 +228,9 @@ Not equals (!=):
 
 ```math
 \frac{\lang b, \sigma \rang \ \Downarrow \ \text{true} \quad \lang c1, \sigma \rang \ \Downarrow \ \sigma'}{\lang \text{if } b \text{ then } c1 \text{ else } c2, \sigma \rang \ \Downarrow \ \sigma'}
+```
 
+```math
 \frac{\lang b, \sigma \rang \ \Downarrow \ \text{false} \quad \lang c2, \sigma \rang \ \Downarrow \ \sigma''}{\lang \text{if } b \text{ then } c1 \text{ else } c2, \sigma \rang \ \Downarrow \ \sigma''}
 ```