diff --git a/HOME_EXAM.md b/HOME_EXAM.md index 8233179893759478b5c90a78cbe04e4cec4f307c..bdd8b16bed5b5a3dc502c244c056185f8c4c36c7 100644 --- a/HOME_EXAM.md +++ b/HOME_EXAM.md @@ -157,7 +157,9 @@ Given a expression $e$ in the state $\sigma$ that evaluates to a value $n$ or b #### Arithmetic Addition:\ -$\frac{\lang e1, \sigma \rang \ \Downarrow \ n1 \; \lang e2, \sigma \rang \ \Downarrow \ n2}{\lang e1 + e2, \sigma \rang \ \Downarrow \ n1 + n2}$ +```math +\frac{\lang e1, \sigma \rang \ \Downarrow \ n1 \; \lang e2, \sigma \rang \ \Downarrow \ n2}{\lang e1 + e2, \sigma \rang \ \Downarrow \ n1 + n2} +``` Subtraction:\ $\frac{\lang e1, \sigma \rang \ \Downarrow \ n1 \; \lang e2, \sigma \rang \ \Downarrow \ n2}{\lang e1 - e2, \sigma \rang \ \Downarrow \ n1 - n2}$