From f8b6a3c6aa40d6576595445deddf6cbc3b9d2853 Mon Sep 17 00:00:00 2001
From: Hugo Wangler <hugwan-6@student.ltu.se>
Date: Fri, 22 Nov 2019 12:26:19 +0000
Subject: [PATCH] Update HOME_EXAM.md

---
 HOME_EXAM.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/HOME_EXAM.md b/HOME_EXAM.md
index ffad2f8..14563af 100644
--- a/HOME_EXAM.md
+++ b/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''}
 ```
 
-- 
GitLab