diff --git a/HOME_EXAM.md b/HOME_EXAM.md
index f5809c0537cc8cc55a64fb1a3627dc206249d56a..490c38f1f4666244e9868ff2fd9906c871a46738 100644
--- a/HOME_EXAM.md
+++ b/HOME_EXAM.md
@@ -592,10 +592,10 @@ The example above is valid for the type checker due to it only checking that the
 
 ##### Functioncall
 ```math
-\frac{(<e_1,σ> → t1 ... <e_i,σ> → ti)}{<c,σ> → t_res}, \text{ where t_res = return type of function }
+\frac{<e_1,σ> → t_1 ... <e_i,σ> → t_i}{<c,σ> → t-res}, \text{ where } t-res = \text{return type of function } 
 ```
-Each expression evaluating to the same type as the arguments connected to the function.
 
+Each expression evaluating to the same type as the arguments connected to the function.
 
 ```rust
     fn a(x: i32) -> bool {